%0 Conference Paper %1 conf/cpaior/AbioGMS16 %A Abío, Ignasi %A Gange, Graeme %A Mayer-Eichberger, Valentin %A Stuckey, Peter J. %B CPAIOR %D 2016 %E Quimper, Claude-Guy %I Springer %K %P 1-17 %T On CNF Encodings of Decision Diagrams. %U http://dblp.uni-trier.de/db/conf/cpaior/cpaior2016.html#AbioGMS16 %V 9676 %@ 978-3-319-33953-5

@inproceedings{conf/cpaior/AbioGMS16, added-at = {2023-12-13T00:52:40.000+0100}, author = {Abío, Ignasi and Gange, Graeme and Mayer-Eichberger, Valentin and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/2c063604fd850dc8dca78929abe5d528d/admin}, booktitle = {CPAIOR}, crossref = {conf/cpaior/2016}, editor = {Quimper, Claude-Guy}, ee = {https://doi.org/10.1007/978-3-319-33954-2_1}, interhash = {69b11b9404e21eb589e36bd0eedb302f}, intrahash = {c063604fd850dc8dca78929abe5d528d}, isbn = {978-3-319-33953-5}, keywords = {}, pages = {1-17}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:52:40.000+0100}, title = {On CNF Encodings of Decision Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/cpaior/cpaior2016.html#AbioGMS16}, volume = 9676, year = 2016 }