QMaxSATpb: A Certified MaxSAT Solver.

Dieter Vandesande, Wolf De Wulf, Bart Bogaerts

Browse the full LPNMR paper archive.