OpenWBO

Last updated on Dec 17, 2020
Code

OpenWBO

OpenWBO is a modular open-source sover for MaxSAT and Pseudo-Boolean formulas. OpenWBO has won several accolades in various international arena.

  • MaxSAT Evaluation 2017: 2 Gold, 1 Silver
  • MaxSAT Evaluation 2016: 1 Gold, 1 Silver
  • Pseudo-Boolean Evaluation 2016: 2 Silver, 2 Bronze
  • MaxSAT Evaluation 2015 : 1 Gold, 1 Silver
  • MaxSAT FLoC Olympic Games 2014 : 2 Gold
  • MaxSAT Evaluation 2014 : 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

On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving

This paper is an extended version of the CP 2014 paper where incremental encoding is extended to weighted MaxSAT.
Ruben Martins, Saurabh Joshi, Vasco Manquinho, Ines Lynce
PDF Code Project DOI

Generalized Totalizer Encoding for Pseudo-Boolean Constraints

This paper describes Generalized Totalizer Encoding (GTE) to encode Pseudo-Boolean Constraints. This encoding led Open-WBO to win accolades in MaxSAT evaluations and Pseudo-Boolean evaluations.
Saurabh Joshi, Ruben Martins, Vasco Manquinho
PDF Code Project DOI

Incremental Cardinality Constraints for MaxSAT

This paper describes techniques to incremental encode cardinality constraints. This led Open-WBO to win accolades in MaxSAT evaluations.
Ruben Martins, Saurabh Joshi, Vasco Manquinho, Ines Lynce
PDF Code Project DOI