Keyphrases
- satisfiability problem
- sat solvers
- sat problem
- boolean satisfiability
- sat solving
- international competition
- phase transition
- computer programming
- propositional satisfiability
- black and white
- international planning competition
- variable ordering
- sat instances
- search strategies
- search algorithm
- stochastic local search
- neural network
- stochastic local search algorithms
- orders of magnitude