A Switching Criterion for Intensification and Diversification in Local Search for SAT.
Wanxia WeiChu Min LiHarry ZhangPublished in: J. Satisf. Boolean Model. Comput. (2008)
Keyphrases
- stochastic local search
- search algorithm
- satisfiability testing
- propositional satisfiability
- satisfiability problem
- search procedures
- search strategies
- sat solving
- random sat instances
- sat solvers
- boolean satisfiability
- combinatorial optimization
- simulated annealing
- sat problem
- memetic algorithm
- genetic algorithm
- global search
- max sat
- hill climbing
- industrial applications
- propositional logic
- phase transition
- tabu search
- state space
- search space
- optimal solution
- automated reasoning
- selection criterion
- model selection
- optimization criterion
- clause learning
- multi objective
- stochastic local search algorithms
- feature selection