11 search results - page 3 / 3 » A Study of Proof Search Algorithms for Resolution and Polyno... |
CP
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Most CSP algorithms are based on refinements and extensions of backtracking, and employ one of two simple “branching schemes”: 2-way branching or d-way branching, fo...