%0 Conference Paper %1 conf/vlsid/SauerRRB14 %A Sauer, Matthias %A Reimer, Sven %A Reddy, Sudhakar M. %A Becker, Bernd %B VLSI Design %D 2014 %I IEEE Computer Society %K %P 62-67 %T Efficient SAT-Based Circuit Initialization for Larger Designs. %U http://dblp.uni-trier.de/db/conf/vlsid/vlsid2014.html#SauerRRB14 %@ 978-1-4799-2513-1

@inproceedings{conf/vlsid/SauerRRB14, added-at = {2023-12-14T14:59:53.000+0100}, author = {Sauer, Matthias and Reimer, Sven and Reddy, Sudhakar M. and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2cc8df4d7192321ae96c33bb159efb7f6/admin}, booktitle = {VLSI Design}, crossref = {conf/vlsid/2014}, ee = {http://doi.ieeecomputersociety.org/10.1109/VLSID.2014.18}, interhash = {e5efb80b73115824261475f7be4f02b0}, intrahash = {cc8df4d7192321ae96c33bb159efb7f6}, isbn = {978-1-4799-2513-1}, keywords = {}, pages = {62-67}, publisher = {IEEE Computer Society}, timestamp = {2023-12-14T14:59:53.000+0100}, title = {Efficient SAT-Based Circuit Initialization for Larger Designs.}, url = {http://dblp.uni-trier.de/db/conf/vlsid/vlsid2014.html#SauerRRB14}, year = 2014 }