Diversification and Determinism in Local Search for Satisfiability.
Chu Min LiWenqi HuangPublished in: SAT (2005)
Keyphrases
- satisfiability testing
- tabu search
- stochastic local search
- satisfiability problem
- search algorithm
- propositional logic
- search heuristics
- memetic algorithm
- simulated annealing
- metaheuristic
- search strategies
- genetic algorithm
- propositional satisfiability
- random sat instances
- scheduling problem
- search space
- search procedure
- quantified boolean formulas
- terminological reasoning
- phase transition
- combinatorial optimization
- computational complexity
- decision procedures
- global search
- temporal logic
- systematic search
- np complete
- search procedures
- sat instances
- evolutionary search
- sat solving
- search result diversification
- model checking
- optimal solution