Open-WBO-Inc in MaxSAT Evaluation 2018

Saurabh Joshi, Prateek Kumar, Vasco Manquinho, Ruben Martins, Alexander Nadel, Sukrut Rao

MaxSAT Evaluation 2018: Solver and Benchmark Descriptions

Project Page PDF Code

maxsat approximation incomplete-maxsat open-wbo-inc