Login / Signup
Early-life-failure detection using SAT-based ATPG.
Matthias Sauer
Young Moon Kim
Jun Seomun
Hyung-Ock Kim
Kyung Tae Do
Jung Yun Choi
Kee Sup Kim
Subhasish Mitra
Bernd Becker
Published in:
ITC (2013)
Keyphrases
</>
failure detection
fault detection
answer set programming
highly reliable
bounded model checking
sat solvers
everyday life
reinforcement learning
answer sets
version space
neural network
search space
constraint solver