Partial Max-SAT Solvers with Clause Learning.

Josep Argelich Felip Manyà Partial Max-SAT Solvers with Clause Learning. 28-40 2007 conf/sat/2007 SAT http://dx.doi.org/10.1007/978-3-540-72788-0_7 db/conf/sat/sat2007.html#ArgelichM07