On the Influence of Boolean Encodings in SAT-Based ATPG for Path Delay Faults.
Stephan EggersglüßRolf DrechslerPublished in: ISMVL (2008)
Keyphrases
- boolean satisfiability
- sat encodings
- fault diagnosis
- real valued
- sat solvers
- planning problems
- fault detection
- boolean functions
- answer set programming
- multiple faults
- version space
- boolean queries
- multicast tree
- shortest path
- answer sets
- model based diagnosis
- branch and bound algorithm
- ai planning
- boolean formula
- constraint solver
- orders of magnitude
- test cases
- bounded model checking
- destination node