Configuration Checking with Aspiration in Local Search for SAT.
Shaowei CaiKaile SuPublished in: AAAI (2012)
Keyphrases
- stochastic local search
- search algorithm
- propositional satisfiability
- satisfiability testing
- search procedures
- sat solvers
- search strategies
- satisfiability problem
- sat solving
- sat problem
- global search
- random sat instances
- search space
- memetic algorithm
- simulated annealing
- systematic search
- propositional logic
- optimal solution
- genetic algorithm
- phase transition
- constraint programming
- neural network
- max sat
- search tree
- sat instances
- tabu search
- backtrack search
- objective function