I have come across (state of the art) softwares on MAX-SAT PBO or WBO: examples are WBO, open-WBO, SAT4J, scip ....They all seem to work in a way that only command line instruction is involved.... I want to construct a C++ programme that involves solving some PBO system (equivalently MAX-SAT or WBO) then do a huge bunch of other things. Just like how cplex or Gurobi.... What is the state of art solvers for this process? Thank you:)

asked 30 Oct '14, 10:20

Chivalry's gravatar image

accept rate: 0%

(03 Nov '14, 00:08) Austin Buchanan

You may check the MaxSAT Evaluation for the recent advances in MaxSat solving.


answered 30 Oct '14, 12:42

Jordi's gravatar image

accept rate: 0%

Your answer
toggle preview

Follow this question

By Email:

Once you sign in you will be able to subscribe for any updates here



Answers and Comments

Markdown Basics

  • *italic* or _italic_
  • **bold** or __bold__
  • link:[text](http://url.com/ "Title")
  • image?![alt text](/path/img.jpg "Title")
  • numbered list: 1. Foo 2. Bar
  • to add a line break simply add two spaces to where you would like the new line to be.
  • basic HTML tags are also supported



Asked: 30 Oct '14, 10:20

Seen: 2,366 times

Last updated: 03 Nov '14, 00:08

OR-Exchange! Your site for questions, answers, and announcements about operations research.