Keyphrases
- search procedures
- incremental learning
- model counting
- satisfiability problem
- sat solvers
- neural network
- search algorithm
- incremental version
- max sat
- sat problem
- boolean satisfiability
- search strategies
- search space
- search problems
- database
- phase transition
- stochastic local search
- data driven
- incremental algorithms
- incremental clustering
- sat solving
- scheduling problem
- stochastic local search algorithms
- modulo theories