%0 Conference Paper %1 conf/iccad/IshiuraSY91 %A Ishiura, Nagisa %A Sawada, Hiroshi %A Yajima, Shuzo %B ICCAD %D 1991 %I IEEE Computer Society %K dblp %P 472-475 %T Minimazation of Binary Decision Diagrams Based on Exchanges of Variables. %U http://dblp.uni-trier.de/db/conf/iccad/iccad1991.html#IshiuraSY91 %@ 0-8186-2157-5

@inproceedings{conf/iccad/IshiuraSY91, added-at = {2023-03-24T00:00:00.000+0100}, author = {Ishiura, Nagisa and Sawada, Hiroshi and Yajima, Shuzo}, biburl = {https://www.bibsonomy.org/bibtex/2504259732ed696bcdb72aea382eb63dc/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/1991}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICCAD.1991.185307}, interhash = {7e673a346d6e7875cd106e81379ec1a7}, intrahash = {504259732ed696bcdb72aea382eb63dc}, isbn = {0-8186-2157-5}, keywords = {dblp}, pages = {472-475}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:49:28.000+0200}, title = {Minimazation of Binary Decision Diagrams Based on Exchanges of Variables.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad1991.html#IshiuraSY91}, year = 1991 }