Local Consistency in Weighted CSPs and Inference in Max-SAT | Publicación