Keyphrases
- preprocessing
- sat solvers
- post processing
- search algorithm
- sat problem
- satisfiability problem
- feature extraction
- preprocessing step
- incremental learning
- phase transition
- preprocessing phase
- preprocessing steps
- search strategies
- np complete
- data driven
- single pass
- max sat
- propositional satisfiability
- sat solving
- stochastic local search algorithms