New Inference Rules for Max-SAT | Publicación