Login / Signup
Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults.
Stephan Eggersglüß
Görschwin Fey
Rolf Drechsler
Andreas Glowatz
Friedrich Hapke
Jürgen Schlöffel
Published in:
MEMOCODE (2007)
Keyphrases
</>
answer set programming
datalog programs
shortest path
fault diagnosis
valued logic
genetic algorithm
artificial intelligence
relational databases
query language
software engineering
model checking
inference rules
constraint solver
bounded model checking