%0 Book Section %1 books/sp/18/WimmerWS018 %A Wimmer, Ralf %A Wimmer, Karina %A Scholl, Christoph %A Becker, Bernd %B Advanced Logic Synthesis %D 2018 %E Reis, André Inácio %E Drechsler, Rolf %I Springer %K dblp %P 151-168 %T Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas. %U http://dblp.uni-trier.de/db/books/collections/RD2018.html#WimmerWS018 %@ 978-3-319-67294-6

@incollection{books/sp/18/WimmerWS018, added-at = {2023-09-30T00:00:00.000+0200}, author = {Wimmer, Ralf and Wimmer, Karina and Scholl, Christoph and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/27fb0233a1deec9456166e7c2703113ef/dblp}, booktitle = {Advanced Logic Synthesis}, crossref = {books/sp/18/RD2018}, editor = {Reis, André Inácio and Drechsler, Rolf}, ee = {https://doi.org/10.1007/978-3-319-67295-3_7}, interhash = {c0539a67088853ce1064796abb86d1c4}, intrahash = {7fb0233a1deec9456166e7c2703113ef}, isbn = {978-3-319-67294-6}, keywords = {dblp}, pages = {151-168}, publisher = {Springer}, timestamp = {2024-04-10T11:20:28.000+0200}, title = {Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas.}, url = {http://dblp.uni-trier.de/db/books/collections/RD2018.html#WimmerWS018}, year = 2018 }