Back to Backtracking: Controlling the ATMS.

Johan de Kleer Brian C. Williams

Published in: AAAI (1986)

Keyphrases

constraint satisfaction
search algorithm
logic programming
dependency directed backtracking
search space
inference engine
computer vision
neural network
machine learning
information retrieval
expert systems
search tree
constraint propagation