Local search for Boolean Satisfiability with configuration checking and subscore.
Shaowei CaiKaile SuPublished in: Artif. Intell. (2013)
Keyphrases
- boolean satisfiability
- random sat instances
- sat solving
- sat solvers
- branch and bound algorithm
- sat problem
- randomly generated
- stochastic local search
- max sat
- propositional satisfiability
- integer linear programming
- probabilistic planning
- boolean optimization
- symmetry breaking
- search space
- combinatorial optimization
- search algorithm
- tabu search
- maximum satisfiability
- optimal solution
- genetic algorithm
- search strategies
- sat instances
- memetic algorithm
- lower bound
- simulated annealing
- combinatorial problems
- clause learning
- phase transition
- particle swarm optimization
- evolutionary algorithm
- graph coloring
- orders of magnitude
- np complete
- scheduling problem
- random sat
- search procedure