%0 Conference Paper %1 conf/cpaior/BergmanC17 %A Bergman, David %A Ciré, André Augusto %B CPAIOR %D 2017 %E Salvagnin, Domenico %E Lombardi, Michele %I Springer %K dblp %P 41-50 %T On Finding the Optimal BDD Relaxation. %U http://dblp.uni-trier.de/db/conf/cpaior/cpaior2017.html#BergmanC17 %V 10335 %@ 978-3-319-59776-8

@inproceedings{conf/cpaior/BergmanC17, added-at = {2017-05-31T00:00:00.000+0200}, author = {Bergman, David and Ciré, André Augusto}, biburl = {https://www.bibsonomy.org/bibtex/256a114316d5d2a46dddb0006a9e2f21c/dblp}, booktitle = {CPAIOR}, crossref = {conf/cpaior/2017}, editor = {Salvagnin, Domenico and Lombardi, Michele}, ee = {https://doi.org/10.1007/978-3-319-59776-8_4}, interhash = {2542c5ae487bc2a07ddc13c71e826513}, intrahash = {56a114316d5d2a46dddb0006a9e2f21c}, isbn = {978-3-319-59776-8}, keywords = {dblp}, pages = {41-50}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:54:47.000+0200}, title = {On Finding the Optimal BDD Relaxation.}, url = {http://dblp.uni-trier.de/db/conf/cpaior/cpaior2017.html#BergmanC17}, volume = 10335, year = 2017 }