%0 Conference Paper %1 conf/vts/CzutroSSPB12 %A Czutro, Alexander %A Sauer, Matthias %A Schubert, Tobias %A Polian, Ilia %A Becker, Bernd %B VTS %D 2012 %I IEEE Computer Society %K dblp %P 170-175 %T SAT-ATPG using preferences for improved detection of complex defect mechanisms. %U http://dblp.uni-trier.de/db/conf/vts/vts2012.html#CzutroSSPB12 %@ 978-1-4673-1074-1

@inproceedings{conf/vts/CzutroSSPB12, added-at = {2012-07-08T00:00:00.000+0200}, author = {Czutro, Alexander and Sauer, Matthias and Schubert, Tobias and Polian, Ilia and Becker, Bernd}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/219a1ed14af225756a33cbb044c1e4e85/dblp}, booktitle = {VTS}, crossref = {conf/vts/2012}, ee = {http://dx.doi.org/10.1109/VTS.2012.6231098}, interhash = {633777f6b1eee950a4da2d19a2d56ec8}, intrahash = {19a1ed14af225756a33cbb044c1e4e85}, isbn = {978-1-4673-1074-1}, keywords = {dblp}, pages = {170-175}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T13:39:15.000+0100}, title = {SAT-ATPG using preferences for improved detection of complex defect mechanisms.}, url = {http://dblp.uni-trier.de/db/conf/vts/vts2012.html#CzutroSSPB12}, year = 2012 }