%0 Conference Paper %1 MS99 %A Meinel, Ch. %A Sack, H. %B Proc. of 4 th Int. Workshop on Applications of the Reed-Muller Expansion in Circuit Design(Reed-Muller ' 99) %D 1999 %K mypaper verification %P pp. 179-184 %T Algorithmic Considerations for Parity-OBDD Reordering %U http://www.minet.uni-jena.de/%7Esack/publications/rm99.ps

@inproceedings{MS99, added-at = {2007-11-29T15:49:32.000+0100}, author = {Meinel, Ch. and Sack, H.}, biburl = {https://www.bibsonomy.org/bibtex/229288d831ab1269fbff70f9f9d2cb9eb/lysander07}, booktitle = {Proc. of 4 th Int. Workshop on Applications of the Reed-Muller Expansion in Circuit Design(Reed-Muller ' 99)}, date = {1999,1999}, description = {Publications of Harald Sack}, interhash = {aa680dcf245bccf9ca3b6c43f1eec9e8}, intrahash = {29288d831ab1269fbff70f9f9d2cb9eb}, keywords = {mypaper verification}, location = {Lake Tahoe, CA,Victoria, B. C., Canada}, pages = {pp. 179-184}, timestamp = {2009-01-27T15:24:50.000+0100}, title = {Algorithmic Considerations for Parity-OBDD Reordering}, url = {http://www.minet.uni-jena.de/%7Esack/publications/rm99.ps}, year = 1999 }