Incremental Compilation-to-SAT Procedures.
Marco BenedettiSara BernardiniPublished in: SAT (Selected Papers (2004)
Keyphrases
- search procedures
- model counting
- search algorithm
- satisfiability problem
- incremental learning
- sat solvers
- boolean satisfiability
- max sat
- sat problem
- propositional satisfiability
- pseudo boolean constraints
- data sets
- stochastic local search algorithms
- incremental version
- graph coloring
- phase transition
- search strategies
- first order logic
- data driven
- neural network