%0 Journal Article %1 journals/tcad/ErbKRSWB15 %A Erb, Dominik %A Kochte, Michael A. %A Reimer, Sven %A Sauer, Matthias %A Wunderlich, Hans-Joachim %A Becker, Bernd %D 2015 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K %N 12 %P 2025-2038 %T Accurate QBF-Based Test Pattern Generation in Presence of Unknown Values. %U http://dblp.uni-trier.de/db/journals/tcad/tcad34.html#ErbKRSWB15 %V 34

@article{journals/tcad/ErbKRSWB15, added-at = {2023-12-13T02:02:05.000+0100}, author = {Erb, Dominik and Kochte, Michael A. and Reimer, Sven and Sauer, Matthias and Wunderlich, Hans-Joachim and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/21eda0449a9b171e27774fc1e179d51ff/admin}, ee = {https://doi.org/10.1109/TCAD.2015.2440315}, interhash = {79f1f7dfb15e8c7b30bbafed9593030e}, intrahash = {1eda0449a9b171e27774fc1e179d51ff}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {}, number = 12, pages = {2025-2038}, timestamp = {2023-12-13T02:02:05.000+0100}, title = {Accurate QBF-Based Test Pattern Generation in Presence of Unknown Values.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad34.html#ErbKRSWB15}, volume = 34, year = 2015 }