Keyphrases
- preliminary version
- sat solvers
- satisfiability problem
- sat problem
- propositional satisfiability
- stochastic local search
- sat solving
- search algorithm
- search strategies
- sat instances
- boolean satisfiability
- stochastic local search algorithms
- phase transition
- variable ordering
- industrial applications
- graph coloring
- data sets
- pseudo boolean constraints
- automated reasoning
- search problems
- propositional logic
- search tree
- np complete
- information systems
- genetic algorithm
- information retrieval
- databases