Sciweavers

CP
2005
Springer
14 years 5 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 p...
Federico Heras, Javier Larrosa
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 ...
CP
2009
Springer
15 years 5 days ago
Approximating Weighted Max-SAT Problems by Compensating for Relaxations
We introduce a new approach to approximating weighted Max-SAT problems that is based on simplifying a given instance, and then tightening the approximation. First, we relax its str...
Arthur Choi, Trevor Standley, Adnan Darwiche