Login / Signup
Axiomatizations of Backtracking.
Michel Billaud
Published in:
JTASPEFT/WSA (1991)
Keyphrases
</>
constraint satisfaction
decision procedures
dependency directed backtracking
search algorithm
search space
database
neural network
feature selection
databases
computer vision
data structure
object recognition
query processing
special case
constraint propagation