Partial Max-SAT Solvers with Clause Learning | Publicación