Sciweavers

IJCAI
2007

The Logic Behind Weighted CSP

14 years 7 days ago
The Logic Behind Weighted CSP
We define a translation from Weighted CSP to signed Max-SAT, and a complete resolution-style calculus for solving signed Max-SAT. Based on these results, we then describe an original exact algorithm for solving Weighted CSP. Finally, we define several derived rules and prove that they enforce the main soft arc consistency defined in the literature when applied to Weighted CSP instances.
Carlos Ansótegui, Maria Luisa Bonet, Jordi
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where IJCAI
Authors Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà
Comments (0)