Keyphrases
- sat solvers
- satisfiability problem
- propositional satisfiability
- stochastic local search
- stochastic local search algorithms
- sat solving
- sat problem
- phase transition
- search engine
- max sat
- case study
- variable ordering
- boolean satisfiability
- real time
- satisfiability testing
- sat encodings
- modulo theories
- sat instances
- search problems
- industrial applications
- search space
- search algorithm
- data structure
- neural network