%0 Journal Article %1 tr/trier/MI94-16 %A Bern, Jochen %A Meinel, Christoph %A Slobodová, Anna %D 1994 %J Universität Trier, Mathematik/Informatik, Forschungsbericht %K dblp %T Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits %V 94-16

@article{tr/trier/MI94-16, added-at = {2011-12-29T00:00:00.000+0100}, author = {Bern, Jochen and Meinel, Christoph and Slobodová, Anna}, biburl = {https://www.bibsonomy.org/bibtex/2e43bc6b37b27a24e9066579305fc1a75/dblp}, interhash = {092902da46e03b5b06eeb209b5ec4efc}, intrahash = {e43bc6b37b27a24e9066579305fc1a75}, journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht}, keywords = {dblp}, timestamp = {2011-12-30T11:32:10.000+0100}, title = {Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits}, volume = {94-16}, year = 1994 }