Analysis of Search Based Algorithms for Satisfiability of Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems.
Daijue TangYinlei YuDarsh RanjanSharad MalikPublished in: SAT (2004)
Keyphrases
- quantified boolean formulas
- search methods
- state space
- optimization problems
- search algorithm
- computational complexity
- stochastic local search
- orders of magnitude
- heuristic search
- propositional satisfiability
- search space
- evolutionary algorithm
- np complete
- search strategy
- practical problems
- data structure
- reinforcement learning
- search strategies
- propositional logic
- classical planning
- symmetry breaking