Improved SAT-based ATPG: More Constraints, Better Compaction

@inproceedings{pub6841,
    author = {

Eggersglüß, Stephan
 and 

Wille, Robert
 and 

Drechsler, Rolf
},
    title = {Improved SAT-based ATPG: More Constraints, Better Compaction},
    booktitle = {Proceedings of the 2013 IEEE/ACM International Conference on Computer-Aided Design. IEEE/ACM International Conference on Computer-Aided Design (ICCAD-13), November 18-21, San Jose, CA, United States},
    year = {2013},
    publisher = {IEEE}
}