Sciweavers

CP
2005
Springer

Local Consistency in Weighted CSPs and Inference in Max-SAT

14 years 4 months ago
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.
Federico Heras, Javier Larrosa
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CP
Authors Federico Heras, Javier Larrosa
Comments (0)