GSAT and Dynamic Backtracking.

Matthew L. Ginsberg David A. McAllester

Published in: PPCP (1994)

Keyphrases

constraint satisfaction
satisfiability problem
randomly generated
search algorithm
data mining
machine learning
information systems
case study
image sequences
special case
np hard
np complete
dynamic environments
constraint propagation