Unifikationsgraphen für intelligentes Backtracking in Deduktionssystemen.

Werner Dilger Agnes Janson

Published in: GWAI (1983)

Keyphrases

constraint satisfaction
search algorithm
dependency directed backtracking
search space
search tree
constraint propagation
heuristic search
tree search
database
data sets
databases
learning algorithm
special case
constraint satisfaction problems
variable ordering