Local Consistency in Weighted CSPs and Inference in Max-SAT

In this paper we overview our recent work and outline our current line of research: First, we describe the WCSP framework and its related local consistencies. Second, the Max-SAT problem and some related inference rules including a new rule that is an extension of the classical Modus Ponens. Finally, we will show the relation between both ideas and how this link can help us to improve existent methods to solve both WCSP and Max-SAT problem.

• Type: Conference
• Year: 2005
• Where: CP
• Authors: Federico Heras, Javier Larrosa
• Keywords: CP 2005, Max-SAT Problem, Programming Languages, Related Local Consistencies, WCSP Framework