%0 Journal Article %1 journals/tc/OliveiraCVS98 %A Oliveira, Arlindo L. %A Carloni, Luca P. %A Villa, Tiziano %A Sangiovanni-Vincentelli, Alberto L. %D 1998 %J IEEE Trans. Computers %K dblp %N 11 %P 1282-1296 %T Exact Minimization of Binary Decision Diagrams Using Implicit Techniques. %U http://dblp.uni-trier.de/db/journals/tc/tc47.html#OliveiraCVS98 %V 47

@article{journals/tc/OliveiraCVS98, added-at = {2018-11-14T00:00:00.000+0100}, author = {Oliveira, Arlindo L. and Carloni, Luca P. and Villa, Tiziano and Sangiovanni-Vincentelli, Alberto L.}, biburl = {https://www.bibsonomy.org/bibtex/2eab4d265c3d54c4e14d345fe3a47d6bf/dblp}, ee = {https://www.wikidata.org/entity/Q57380811}, interhash = {38ab2664bd550a468be035842b280c40}, intrahash = {eab4d265c3d54c4e14d345fe3a47d6bf}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 11, pages = {1282-1296}, timestamp = {2018-11-15T11:58:43.000+0100}, title = {Exact Minimization of Binary Decision Diagrams Using Implicit Techniques.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc47.html#OliveiraCVS98}, volume = 47, year = 1998 }