%0 Conference Paper %1 conf/jelia/MantadelisRKJ10 %A Mantadelis, Theofrastos %A Rocha, Ricardo %A Kimmig, Angelika %A Janssens, Gerda %B JELIA %D 2010 %E Janhunen, Tomi %E Niemelä, Ilkka %I Springer %K dblp %P 260-272 %T Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. %U http://dblp.uni-trier.de/db/conf/jelia/jelia2010.html#MantadelisRKJ10 %V 6341 %@ 978-3-642-15674-8

@inproceedings{conf/jelia/MantadelisRKJ10, added-at = {2017-06-04T00:00:00.000+0200}, author = {Mantadelis, Theofrastos and Rocha, Ricardo and Kimmig, Angelika and Janssens, Gerda}, biburl = {https://www.bibsonomy.org/bibtex/28f23306e5ec4bbcc1192efdeed9fba9f/dblp}, booktitle = {JELIA}, crossref = {conf/jelia/2010}, editor = {Janhunen, Tomi and Niemelä, Ilkka}, ee = {https://doi.org/10.1007/978-3-642-15675-5_23}, interhash = {86629dc3f7fc9af98a3e959cb549f8d8}, intrahash = {8f23306e5ec4bbcc1192efdeed9fba9f}, isbn = {978-3-642-15674-8}, keywords = {dblp}, pages = {260-272}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:32:30.000+0200}, title = {Preprocessing Boolean Formulae for BDDs in a Probabilistic Context.}, url = {http://dblp.uni-trier.de/db/conf/jelia/jelia2010.html#MantadelisRKJ10}, volume = 6341, year = 2010 }