Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability.

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

Browse the full CP paper archive.