Search vs. Symbolic Techniques in Satisfiability Solving.
Guoqiang PanMoshe Y. VardiPublished in: SAT (2004)
Keyphrases
- search algorithm
- stochastic local search
- search heuristics
- search efficiency
- symmetry breaking
- search strategies
- branch and bound search
- search strategy
- search space
- search methods
- data sets
- satisfiability problem
- search queries
- propositional logic
- combinatorial optimization
- branch and bound
- web search
- admissible heuristics
- computational complexity
- high level