Sciweavers

Share
IJCAI
2007
8 years 8 months 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»
9 years 1 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 ...
books