Open-WBO-Inc

Last updated on Dec 17, 2020
Code

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
Constraint Programming
Saurabh Joshi
Saurabh Joshi
Principal Researcher

My research interests include Blockchain, Distributed Systems, Constraint Programming, Formal Verification, Programming Languages and Program Analysis.

Related

Publications

Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT

This paper presents a couple of incomplete Weighted MaxSAT solving techniques along with analysis on the deviation to the optimal value.
Saurabh Joshi, Prateek Kumar, Sukrut Rao, Ruben Martins
PDF Code Project DOI

Approximation Strategies for Incomplete MaxSAT

This paper presents a couple of incomplete Weighted MaxSAT solving techniques that allowed Open-WBO-Inc to win accolades in MaxSAT evaluations 2018 and MaxSAT evaluations 2019.
Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao
PDF Code Project DOI Slides