660 search results - page 5 / 132 » Hybrid CSP Solving |
AAAI
1998
13 years 11 months ago
1998
AIPS
2000
13 years 11 months ago
2000
AI
2004
Springer
13 years 9 months ago
2004
Springer
CSCLP
2005
Springer
14 years 3 months ago
2005
Springer
CSP search algorithms are exponential in the worst-case. A trivial upper bound on the time complexity of CSP search algorithms is O∗ (dn ), where n and d are the number of variab...
SAT
2007
Springer
14 years 3 months ago
2007
Springer
We first define a mapping from CSP to many-valued SAT which allows to solve CSP instances with many-valued SAT solvers. Second, we define a new many-valued resolution rule and p...