Login / Signup
Splitting Without Backtracking.
Alexandre Riazanov
Andrei Voronkov
Published in:
IJCAI (2001)
Keyphrases
</>
constraint satisfaction
dependency directed backtracking
search space
search algorithm
search tree
databases
social networks
constraint propagation
default reasoning
tree search
backtracking algorithm