Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems.
Daijue TangYinlei YuDarsh RanjanSharad MalikPublished in: SAT (Selected Papers (2004)
Keyphrases
- quantified boolean formulas
- state space
- search methods
- propositional satisfiability
- optimization problems
- satisfiability testing
- propositional logic
- orders of magnitude
- stochastic local search
- search algorithm
- search strategies
- learning algorithm
- computational complexity
- np complete
- reinforcement learning
- boolean formula
- combinatorial optimization
- domain independent
- search space
- industrial applications
- decision procedures
- phase transition
- search strategy