OpenWBO

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
Saurabh Joshi
Saurabh Joshi
Assistant Professor, CSE

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

Related