Open-WBO-Inc in MaxSAT Evaluation 2018

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