Keyphrases
- satisfiability problem
- sat solvers
- sat problem
- boolean satisfiability
- search algorithm
- propositional satisfiability
- sat instances
- stochastic local search algorithms
- sat solving
- max sat
- neural network
- stochastic local search
- phase transition
- information systems
- orders of magnitude
- knowledge base
- variable ordering
- databases
- satisfiability testing
- pseudo boolean constraints