Read-once resolution for unsatisfiability-based Max-SAT algorithms | Publicación