Open-WBO-Inc in MaxSAT Evaluation 2019

Saurabh Joshi, Prateek Kumar, Sukrut Rao, Ruben Martins

MaxSAT Evaluation 2019: Solver and Benchmark Descriptions

Project Page PDF Code

maxsat approximation incomplete-maxsat open-wbo-inc