Open-WBO-Inc in MaxSAT Evaluation 2019

Saurabh Joshi, Prateek Kumar, Sukrut Rao, Ruben Martins
Project PDF Code
Type
Report
Publication
MaxSAT Evaluation 2019: Solver and Benchmark Descriptions
maxsat approximation incomplete-maxsat open-wbo-inc