Diagnosing scan chains using SAT-based diagnostic pattern generation.
Jin-Fu LiFeijun (Frank) ZhengKwang-Ting ChengPublished in: SoCC (2007)
Keyphrases
- pattern generation
- model based diagnosis
- answer set programming
- diagnostic reasoning
- ai planning
- swarm robots
- sat solvers
- bounded model checking
- disease diagnosis
- cellular automaton
- constraint solver
- scan data
- dynamic systems
- diagnostic imaging
- version space
- medical diagnosis
- planning problems
- constraint solving
- boolean satisfiability
- clinical diagnosis
- sat encodings
- diagnostic tool
- logic programs
- domain specific
- optimal solution
- decision making