6 search results - page 1 / 2 » Virtual Arc Consistency for Weighted CSP |
AAAI
2008
14 years 1 months ago
2008
IJCAI
2003
14 years 5 days 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 10 months ago
2004
Springer
AI
2010
Springer
13 years 11 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
14 years 7 days 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...