%0 Conference Paper %1 conf/dac/MinatoIY90 %A ichi Minato, Shin %A Ishiura, Nagisa %A Yajima, Shuzo %B DAC %D 1990 %E Smith, Richard C. %I IEEE Computer Society Press %K dblp %P 52-57 %T Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation. %U http://dblp.uni-trier.de/db/conf/dac/dac90.html#MinatoIY90 %@ 0-89791-363-9

@inproceedings{conf/dac/MinatoIY90, added-at = {2017-03-16T00:00:00.000+0100}, author = {ichi Minato, Shin and Ishiura, Nagisa and Yajima, Shuzo}, biburl = {https://www.bibsonomy.org/bibtex/2b7b8406ef2bd35e507ce40cbe3b3edf0/dblp}, booktitle = {DAC}, crossref = {conf/dac/1990}, editor = {Smith, Richard C.}, ee = {http://doi.acm.org/10.1145/123186.123225}, interhash = {5356754081cc22b6d3332cde5e690c65}, intrahash = {b7b8406ef2bd35e507ce40cbe3b3edf0}, isbn = {0-89791-363-9}, keywords = {dblp}, pages = {52-57}, publisher = {IEEE Computer Society Press}, timestamp = {2017-03-17T11:40:39.000+0100}, title = {Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac90.html#MinatoIY90}, year = 1990 }