Foundations of Artificial Intelligence, Vol. 2, Suppl. (C), 2006
Chapter 4 Backtracking Search Algorithms
There are three main algorithmic techniques for solving constraint satisfaction problems: backtracking search, local search, and dynamic programming. In this chapter, I survey backtracking search algorithms. Algorithms based on dynamic programming — sometimes referred to in the literature as variable elimination, synthesis, or inference algorithms—are the topic of Chapter 7. Local or stochastic search algorithms are the topic of Chapter 5.
An algorithm for solving a constraint satisfaction problem (CSP) can be either complete or incomplete. Complete, or systematic ...