Solving (Weighted) Partial MaxSAT through Satisfiability Testing.

Carlos Anstegui, Maria Luisa Bonet, Jordi Levy

Browse the full SAT paper archive.