%0 Conference Paper %1 conf/vlsid/SauerKCRB12 %A Sauer, Matthias %A Kupferschmid, Stefan %A Czutro, Alejandro %A Reddy, Sudhakar M. %A Becker, Bernd %B VLSI Design %D 2012 %E Agrawal, Vishwani D. %E Chakradhar, Srimat T. %I IEEE Computer Society %K %P 382-387 %T Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation. %U http://dblp.uni-trier.de/db/conf/vlsid/vlsid2012.html#SauerKCRB12 %@ 978-1-4673-0438-2

@inproceedings{conf/vlsid/SauerKCRB12, added-at = {2023-12-13T02:48:13.000+0100}, author = {Sauer, Matthias and Kupferschmid, Stefan and Czutro, Alejandro and Reddy, Sudhakar M. and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2ba7bef70ddf177cca0625d50d5d82086/admin}, booktitle = {VLSI Design}, crossref = {conf/vlsid/2012}, editor = {Agrawal, Vishwani D. and Chakradhar, Srimat T.}, ee = {http://doi.ieeecomputersociety.org/10.1109/VLSID.2012.101}, interhash = {83c8dfe2ff62752ec6dc84e43f7c6929}, intrahash = {ba7bef70ddf177cca0625d50d5d82086}, isbn = {978-1-4673-0438-2}, keywords = {}, pages = {382-387}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T02:48:13.000+0100}, title = {Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation.}, url = {http://dblp.uni-trier.de/db/conf/vlsid/vlsid2012.html#SauerKCRB12}, year = 2012 }