Characterization of a New Restart Strategy for Randomized Backtrack Search.

Venkata Praveen Guddeti Berthe Y. Choueiry

Published in: CSCLP (2004)

Keyphrases

backtrack search
search strategies
constraint programming
constraint satisfaction problems
constraint satisfaction
random walk
information retrieval
search algorithm
special case
state space
highly efficient
propositional satisfiability