Search-Based SAT Using Zero-Suppressed BDDs.
Fadi A. AloulMaher N. MneimnehKarem A. SakallahPublished in: DATE (2002)
Keyphrases
- binary decision diagrams
- search algorithm
- variable ordering
- search strategies
- search problems
- heuristic search
- search strategy
- stochastic local search
- search space
- search efficiency
- pseudo boolean constraints
- search methods
- sat solvers
- symmetry breaking
- stochastic local search algorithms
- search queries
- user queries
- orders of magnitude
- knowledge compilation
- query expansion
- dynamic programming
- lower bound
- backtracking search
- search engine