On Solving MaxSAT Through SAT.

Carlos Anstegui, Maria Luisa Bonet, Jordi Levy

Browse the full SAT paper archive.