400 search results - page 13 / 80 » Backtracking |
150
click to vote
ECAI
2004
Springer
15 years 11 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...
147
click to vote
ISMIS
1999
Springer
15 years 10 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...