Open-WBO-Inc

Open-WBO-Inc

Open-WBO-Inc is an open-source incomplete solver for MaxSAT. Often, real-world applications demand a good answer to MaxSAT optimization problem very quickly. Incomplete solvers strive to find a good answer very fast but may not guarantee optimality of the provided answer.

Open-WBO-Inc has won several accolades at international arena. In addition, it serves as a platform on top of which other award winning solvers such as Loandra and TT-Open-WBO-Inc has been built.

  • MaxSAT Evaluation 2019: 2 Bronze
  • MaxSAT Evaluation 2018: 1 Gold, 1 Silver
Saurabh Joshi
Saurabh Joshi
Assistant Professor, CSE

My research interests include Constraint Programming, Formal Verification and Program Analysis.

Related