Search vs. Symbolic Techniques in Satisfiability Solving.

Guoqiang Pan Moshe Y. Vardi

Published in: SAT (Selected Papers (2004)

Keyphrases

search algorithm
stochastic local search
search strategy
search efficiency
search space
search heuristics
high level
np complete
symmetry breaking
neural network
relational databases
evolutionary algorithm
web search engines
satisfiability problem
tree search