%0 Conference Paper %1 conf/eurodac/FeltYBS93 %A Felt, Eric %A York, Gary %A Brayton, Robert K. %A Sangiovanni-Vincentelli, Alberto L. %B EURO-DAC %D 1993 %I IEEE Computer Society %K dblp %P 130-135 %T Dynamic variable reordering for BDD minimization. %U http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1993.html#FeltYBS93 %@ 0-8186-4350-1

@inproceedings{conf/eurodac/FeltYBS93, added-at = {2019-04-05T00:00:00.000+0200}, author = {Felt, Eric and York, Gary and Brayton, Robert K. and Sangiovanni-Vincentelli, Alberto L.}, biburl = {https://www.bibsonomy.org/bibtex/2297e6b62ec88830dde2b67daf16185cf/dblp}, booktitle = {EURO-DAC}, crossref = {conf/eurodac/1993}, ee = {https://doi.org/10.1109/EURDAC.1993.410627}, interhash = {ef76eaf7f97d38b050e300234391f175}, intrahash = {297e6b62ec88830dde2b67daf16185cf}, isbn = {0-8186-4350-1}, keywords = {dblp}, pages = {130-135}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T22:26:01.000+0200}, title = {Dynamic variable reordering for BDD minimization.}, url = {http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1993.html#FeltYBS93}, year = 1993 }