Login / Signup
SAT-ATPG using preferences for improved detection of complex defect mechanisms.
Alexander Czutro
Matthias Sauer
Tobias Schubert
Ilia Polian
Bernd Becker
Published in:
VTS (2012)
Keyphrases
</>
detection algorithm
detection rate
object detection
complex systems
false alarms
search algorithm
false positives
detection accuracy
improved algorithm
multi attribute
automatic detection
anomaly detection
high level
sat solvers
lower bound
video sequences
neural network