%0 Journal Article %1 tr/trier/MI93-20 %A Bern, Jochen %A Gergov, Jordan %A Meinel, Christoph %A Slobodová, Anna %D 1993 %J Universität Trier, Mathematik/Informatik, Forschungsbericht %K dblp %T Boolean Manipulation with Free BDD's - First Experimental Results %V 93-20

@article{tr/trier/MI93-20, added-at = {2011-12-29T00:00:00.000+0100}, author = {Bern, Jochen and Gergov, Jordan and Meinel, Christoph and Slobodová, Anna}, biburl = {https://www.bibsonomy.org/bibtex/233294eb49d9b15bb28787ead2c390a07/dblp}, interhash = {b377596ce59efa3397098886cbc1d059}, intrahash = {33294eb49d9b15bb28787ead2c390a07}, journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht}, keywords = {dblp}, timestamp = {2011-12-30T11:32:26.000+0100}, title = {Boolean Manipulation with Free BDD's - First Experimental Results}, volume = {93-20}, year = 1993 }