Keyphrases
- stochastic local search
- propositional satisfiability
- random sat instances
- satisfiability problem
- quantified boolean formulas
- clause learning
- tree search
- answer set programming
- search algorithm
- sat solvers
- sat problem
- web applications
- satisfiability modulo theories
- constraint programming
- search space
- sat solving
- solving hard
- genetic algorithm
- global search
- industrial applications
- memetic algorithm
- phase transition
- constraint solver
- constraint satisfaction problems
- systematic search
- combinatorial optimization
- tabu search
- orders of magnitude
- davis putnam
- automated reasoning
- hard constraints
- sat instances
- hill climbing
- search procedure
- cellular automata
- randomly generated
- propositional logic
- answer sets
- temporal logic
- branch and bound