Minimizing Counterexample with Unit Core Extraction and Incremental SAT.
ShengYu ShenYing QinSikun LiPublished in: VMCAI (2005)
Keyphrases
- sat solvers
- search algorithm
- information extraction
- model checking
- incremental learning
- satisfiability problem
- automatic extraction
- data driven
- boolean satisfiability
- stochastic local search algorithms
- phase transition
- knowledge extraction
- max sat
- satisfiability testing
- incremental algorithms
- branch and bound algorithm
- lower bound