Open-WBO Incomplete MaxSAT Solver

At MaxSAT Evaluation 2018, Open-WBO-Inc got 1st place in incomplete weighted track with 60s timeout and 2nd place in incomplete weighted track with 300s timeout. The results are available here.

Authors

Avatar
Prateek Kumar

Undergraduate student at IIT Hyderabad.

Avatar
Ruben Martins

Carnegie Mellon University

Avatar
Sukrut Rao

Undergraduate student at IIT Hyderabad.

Publications

. Open-WBO-Inc in MaxSAT Evaluation 2018. MaxSAT Evaluation, 2018.

PDF Code Project

Previous