400 search results - page 13 / 80 » Backtracking |
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
Distributed constraint satisfaction, in its most general acceptation, involves a collection of agents solving local constraint satisfaction subproblems, and a communication protoco...
CP
2003
Springer
14 years 3 months ago
2003
Springer
CP
2001
Springer
14 years 2 months ago
2001
Springer
IEEEPACT
2000
IEEE
14 years 2 months ago
2000
IEEE
ISMIS
1999
Springer
14 years 2 months ago
1999
Springer
In this paper, a new heuristic that can be grafted to many of the most e cient branching strategies for Davis and Putnam procedures for SAT is described. This heuristic gives a hig...