Improved SAT-based ATPG: more constraints, better compaction.

Stephan Eggersglüß Robert Wille Rolf Drechsler

Published in: ICCAD (2013)

Keyphrases

constraint solver
global constraints
constraint satisfaction
constraint networks
sat encodings
machine learning
answer set programming
constraint propagation
constrained optimization
constraint solving