Polynomial Calculus for MaxSAT.

Ilario Bonacina, Maria Luisa Bonet, Jordi Levy

Browse the full SAT paper archive.