Certified Core-Guided MaxSAT Solving.

Jeremias Berg, Bart Bogaerts, Jakob Nordstrm, Andy Oertel, Dieter Vandesande

Browse the full CADE paper archive.