Local search for quantified Boolean formulas.
N. HristovAnja RemshagenPublished in: ACM Southeast Regional Conference (1) (2005)
Keyphrases
- quantified boolean formulas
- propositional satisfiability
- search algorithm
- decision procedures
- reasoning tasks
- simulated annealing
- sat solvers
- search space
- genetic algorithm
- propositional logic
- industrial applications
- tabu search
- automated reasoning
- stochastic local search
- search strategies
- orders of magnitude
- modal logic
- boolean formula
- sat problem
- max sat
- optimal solution