Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT.
Benno SteinOliver NiggemannTheodor LettmannPublished in: Artificial Intelligence and Applications (2006)
Keyphrases
- model based diagnosis
- variable ordering
- stochastic local search
- model based reasoning
- discrete event systems
- diagnostic reasoning
- search algorithm
- fault localization
- consistency based diagnosis
- combinatorial optimization
- dynamic systems
- search strategies
- constraint programming
- np complete problems
- satisfiability problem
- sat instances
- random sat instances
- sat solving
- sat problem
- sat solvers
- digital circuits
- propositional satisfiability
- fault models
- failure diagnosis
- phase transition
- repair actions
- simulated annealing
- expert systems
- cooperative
- physical systems
- hardware designs
- computational complexity
- backtracking algorithm
- sat encodings
- dynamic programming
- np complete
- model checking