419 search results - page 10 / 84 » An LP-Designed Algorithm for Constraint Satisfaction |
CONSTRAINTS
2006
13 years 8 months ago
2006
Constraint satisfaction problems (CSPs) sometimes contain both variable symmetries and value symmetries, causing adverse effects on CSP solvers based on tree search. As a remedy, s...
IJCAI
2003
13 years 9 months ago
2003
We present an algorithm Pref-AC that limits arc consistency (AC) to the preferred choices of a tree search procedure and that makes constraint solving more efficient without chan...
CPAIOR
2006
Springer
14 years 4 days ago
2006
Springer
Abstract. We present a theoretical study on the idea of using mathematical programming relaxations for filtering binary constraint satisfaction problems. We introduce the consisten...
STOC
2005
ACM
14 years 8 months ago
2005
ACM
AMAI
1999
Springer
13 years 8 months ago
1999
Springer
The paper focuses on evaluating constraint satisfaction search algorithms on application based random problem instances. The application we use is a well-studied problem in the el...