%0 Conference Paper %1 conf/dac/DamianoK03 %A Damiano, Robert F. %A Kukula, James H. %B DAC %D 2003 %I ACM %K dblp %P 818-823 %T Checking satisfiability of a conjunction of BDDs. %U http://dblp.uni-trier.de/db/conf/dac/dac2003.html#DamianoK03 %@ 1-58113-688-9

@inproceedings{conf/dac/DamianoK03, added-at = {2018-11-06T00:00:00.000+0100}, author = {Damiano, Robert F. and Kukula, James H.}, biburl = {https://www.bibsonomy.org/bibtex/2b4d9b867ad6e30333ba9207001fc0f5a/dblp}, booktitle = {DAC}, crossref = {conf/dac/2003}, ee = {https://doi.org/10.1145/775832.776039}, interhash = {6081864f64d9966be13399f68bfb757c}, intrahash = {b4d9b867ad6e30333ba9207001fc0f5a}, isbn = {1-58113-688-9}, keywords = {dblp}, pages = {818-823}, publisher = {ACM}, timestamp = {2018-11-07T15:13:29.000+0100}, title = {Checking satisfiability of a conjunction of BDDs.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2003.html#DamianoK03}, year = 2003 }