Axiomatizations of Backtracking.

Published in: STACS (1992)

Keyphrases

constraint satisfaction
search algorithm
decision procedures
constraint propagation
search space
artificial intelligence
tree search
machine learning
high level
modal logic
clause learning
backtracking algorithm