Keyphrases
- sat solvers
- satisfiability problem
- propositional satisfiability
- sat solving
- search algorithm
- boolean satisfiability
- sat problem
- search strategies
- max sat
- sat instances
- artificial intelligence
- variable ordering
- stochastic local search
- pseudo boolean constraints
- neural network
- data mining
- search procedures
- phase transition
- case study
- information retrieval
- satisfiability testing