Partial Max-SAT Solvers with Clause Learning.

Josep Argelich, Felip Many

Browse the full SAT paper archive.