Sciweavers

IJCAI
2007
14 years 29 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 orig...
Carlos Ansótegui, Maria Luisa Bonet, Jordi ...
ISMVL
2007
IEEE
100views Hardware» more  ISMVL 2007»
14 years 5 months ago
A Complete Resolution Calculus for Signed Max-SAT
We define a resolution-style rule for solving the Max-SAT problem of Signed CNF formulas (Signed Max-SAT) and prove that our rule provides a complete calculus for that problem. F...
Carlos Ansótegui, Maria Luisa Bonet, Jordi ...