Using a SAT solver to generate checking sequences.
Guy-Vincent JourdanHasan UralHüsnü YenigünDong ZhuPublished in: ISCIS (2009)
Keyphrases
- sat solvers
- sat solving
- boolean satisfiability
- sat instances
- max sat
- orders of magnitude
- sat problem
- search space
- constraint satisfaction
- propositional satisfiability
- search tree
- unsatisfiable cores
- constraint solver
- search strategies
- satisfiability problem
- phase transition
- answer sets
- lower bound
- information retrieval