An Overview of Backtrack Search Satisfiability Algorithms.

Inês Lynce João P. Marques Silva

Published in: Ann. Math. Artif. Intell. (2003)

Keyphrases

computational complexity
orders of magnitude
low cost
highly efficient
backtrack search
machine learning
state space
optimization problems
query expansion
constraint satisfaction
constraint programming
satisfiability problem