A Complete Calculus for Max-SAT.

Maria Luisa Bonet, Jordi Levy, Felip Many

Browse the full SAT paper archive.