Fast Deterministic Backtrack Search.

Kieran T. Herley Andrea Pietracaprina Geppino Pucci

Published in: ICALP (1996)

Keyphrases

backtrack search
constraint programming
constraint satisfaction problems
constraint satisfaction
highly efficient
sat solvers
branch and bound algorithm
propositional satisfiability
search algorithm
search strategies
computational complexity
lower bound
automated reasoning