Keyphrases
- sat solvers
- satisfiability problem
- boolean satisfiability
- search algorithm
- sat problem
- sat solving
- phase transition
- stochastic local search algorithms
- max sat
- stochastic local search
- propositional satisfiability
- neural network
- pseudo boolean constraints
- search strategies
- logic programs
- search problems
- scheduling problem
- satisfiability testing