6 search results - page 1 / 2 » Virtual Arc Consistency for Weighted CSP |
AAAI
2008
13 years 7 months ago
2008
IJCAI
2003
13 years 6 months ago
2003
The weighted CSP (WCSP) framework is a soft constraint framework with a wide range of applications. In this paper, we consider the problem of maintaining local consistency during ...
AI
2004
Springer
13 years 4 months ago
2004
Springer
AI
2010
Springer
13 years 5 months ago
2010
Springer
The Valued Constraint Satisfaction Problem (VCSP) is a generic optimization problem defined by a network of local cost functions defined over discrete variables. It has applicatio...
IJCAI
2007
13 years 6 months ago
2007
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...