Dynamic analysis of constraint-variable dependencies to guide SAT diagnosis.
Vijay DurairajPriyank KallaPublished in: HLDVT (2004)
Keyphrases
- dynamic analysis
- static analysis
- reverse engineering
- variable ordering
- model checking
- sat solvers
- satisfiability problem
- model based diagnosis
- finite domain
- search algorithm
- phase transition
- sat instances
- linear constraints
- machine learning
- propositional satisfiability
- boolean formula
- boolean satisfiability
- malicious behavior
- medical diagnosis
- fault diagnosis
- search space
- test suite
- temporal logic
- sat problem
- orders of magnitude
- source code
- query processing
- bayesian networks
- database systems
- sat solving
- database
- symmetry breaking constraints