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.

Publications

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

PDF Code Project

Previous