%0 Journal Article %1 tr/trier/MI97-15 %A Meinel, Christoph %A Sack, Harald %D 1997 %J Universität Trier, Mathematik/Informatik, Forschungsbericht %K dblp %T Case Study: Manipulating xor-OBDDs by Means of Signatures %V 97-15

@article{tr/trier/MI97-15, added-at = {2011-12-29T00:00:00.000+0100}, author = {Meinel, Christoph and Sack, Harald}, biburl = {https://www.bibsonomy.org/bibtex/2224a29d91dd7a969de7365d05310afd6/dblp}, interhash = {256b6a48d66878241ef28f176425fc91}, intrahash = {224a29d91dd7a969de7365d05310afd6}, journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht}, keywords = {dblp}, timestamp = {2011-12-30T11:32:41.000+0100}, title = {Case Study: Manipulating xor-OBDDs by Means of Signatures}, volume = {97-15}, year = 1997 }