Open-WBO: A Modular MaxSAT Solver, .

Ruben Martins, Vasco Manquinho, Ins Lynce

Browse the full SAT paper archive.