%0 Conference Paper %1 MS99a %A Meinel, Ch. %A Sack, H. %B Proc. of the 1999 IEEE / ACM Int. Workshop on Logic Synthesis(IWLS 99), %D 1999 %K mypaper verification %P pp. 71-74 %T Algorithmic Considerations for Parity-OBDD Reordering %U http://www.minet.uni-jena.de/%7Esack/publications/rm99.ps

@inproceedings{MS99a, added-at = {2007-11-29T15:48:22.000+0100}, author = {Meinel, Ch. and Sack, H.}, biburl = {https://www.bibsonomy.org/bibtex/2748aa456f1071f7ee149eea3ff4b4c5d/lysander07}, booktitle = {Proc. of the 1999 IEEE / ACM Int. Workshop on Logic Synthesis(IWLS 99),}, date = {1999}, description = {Publications of Harald Sack}, interhash = {aa680dcf245bccf9ca3b6c43f1eec9e8}, intrahash = {748aa456f1071f7ee149eea3ff4b4c5d}, keywords = {mypaper verification}, location = {Lake Tahoe}, pages = {pp. 71-74}, 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 }