Backtracking and probing.

Paul Walton Purdom Jr.G. Neil Haven

Published in: Satisfiability Problem: Theory and Applications (1996)

Keyphrases

constraint satisfaction
search algorithm
dependency directed backtracking
constraint propagation
search space
search tree
information retrieval
variable ordering
backtracking algorithm
data sets
databases
artificial intelligence
support vector
mobile devices
evolutionary algorithm
tree search