Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability.
Anton BelovZbigniew StachniakPublished in: SAT (2009)
Keyphrases
- stochastic local search
- propositional satisfiability
- solving hard
- sat solvers
- sat problem
- satisfiability problem
- propositional logic
- max sat
- phase transition
- randomly generated
- sat instances
- davis putnam
- automated reasoning
- industrial applications
- orders of magnitude
- combinatorial problems
- genetic algorithm
- constraint programming
- expert systems
- computational complexity