Max-SAT formalisms with hard and soft constraints | Publicación