Tuning Randomization in Backtrack Search SAT Algorithms.

Inês Lynce João P. Marques Silva

Published in: CP (2002)

Keyphrases

backtrack search
data structure
propositional satisfiability
orders of magnitude
highly efficient
expert systems
constraint satisfaction
constraint programming
real time
objective function
search algorithm
natural language
special case
tabu search
search strategies