"A Complete Calculus for Max-SAT."

Maria Luisa Bonet, Jordi Levy, Felip Manyà (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics