27 search results - page 1 / 6 » Solving weighted CSP by maintaining arc consistency |
AI
2004
Springer
14 years 6 months ago
2004
Springer
IJCAI
2003
14 years 7 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 ...
FLAIRS
2007
14 years 8 months ago
2007
We deal with the search process of the GraphPlan algorithm in this paper. We concentrate on a problem of finding supports for a sub-goal which arises during the search. We model t...
IJCAI
2007
14 years 7 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...
CP
2000
Springer
14 years 10 months ago
2000
Springer
Most of complete search algorithms over Constraint Satisfaction Problems (csp) are based on Standard Backtracking. Two main enhancements of this basic scheme have been proposed : r...