%0 Conference Paper %1 conf/sofsem/SlobodovaM98 %A Slobodová, Anna %A Meinel, Christoph %B SOFSEM %D 1998 %E Rovan, Branislav %I Springer %K dblp %P 419-428 %T Sample Method for Minimization of OBDDs. %U http://dblp.uni-trier.de/db/conf/sofsem/sofsem1998.html#SlobodovaM98 %V 1521 %@ 3-540-65260-4

@inproceedings{conf/sofsem/SlobodovaM98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Slobodová, Anna and Meinel, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2f8d6befc88b29978689cdb4e91f12181/dblp}, booktitle = {SOFSEM}, crossref = {conf/sofsem/1998}, editor = {Rovan, Branislav}, ee = {https://doi.org/10.1007/3-540-49477-4_34}, interhash = {c0b3eb0e1e42924b41da50ed071401f7}, intrahash = {f8d6befc88b29978689cdb4e91f12181}, isbn = {3-540-65260-4}, keywords = {dblp}, pages = {419-428}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:26:36.000+0200}, title = {Sample Method for Minimization of OBDDs.}, url = {http://dblp.uni-trier.de/db/conf/sofsem/sofsem1998.html#SlobodovaM98}, volume = 1521, year = 1998 }