Keyphrases
- satisfiability problem
- sat solvers
- sat problem
- stochastic local search
- search algorithm
- variable ordering
- boolean satisfiability
- propositional satisfiability
- sat encodings
- max sat
- pseudo boolean constraints
- stochastic local search algorithms
- independent set
- maximum weight
- sat instances
- neural network
- phase transition
- search strategies
- sat solving
- np complete
- industrial applications
- markov random field
- learning algorithm