%0 Conference Paper %1 conf/iccad/EggersglussWD13 %A Eggersglüß, Stephan %A Wille, Robert %A Drechsler, Rolf %B ICCAD %D 2013 %E Henkel, Jörg %I IEEE %K %P 85-90 %T Improved SAT-based ATPG: more constraints, better compaction. %U http://dblp.uni-trier.de/db/conf/iccad/iccad2013.html#EggersglussWD13 %@ 978-1-4799-1069-4

@inproceedings{conf/iccad/EggersglussWD13, added-at = {2023-12-13T05:25:49.000+0100}, author = {Eggersglüß, Stephan and Wille, Robert and Drechsler, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/217f763c59a461d9b85765273f892f4ad/admin}, booktitle = {ICCAD}, crossref = {conf/iccad/2013}, editor = {Henkel, Jörg}, ee = {https://www.wikidata.org/entity/Q59242361}, interhash = {a270b8297e6e248b64e09e30845a88a7}, intrahash = {17f763c59a461d9b85765273f892f4ad}, isbn = {978-1-4799-1069-4}, keywords = {}, pages = {85-90}, publisher = {IEEE}, timestamp = {2023-12-13T05:25:49.000+0100}, title = {Improved SAT-based ATPG: more constraints, better compaction.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2013.html#EggersglussWD13}, year = 2013 }