%0 Journal Article %1 journals/jsat/WeaverFS06 %A Weaver, Sean A. %A Franco, John V. %A Schlipf, John S. %D 2006 %J J. Satisf. Boolean Model. Comput. %K dblp %N 2 %P 89-110 %T Extending Existential Quantification in Conjunctions of BDDs. %U http://dblp.uni-trier.de/db/journals/jsat/jsat1.html#WeaverFS06 %V 1

@article{journals/jsat/WeaverFS06, added-at = {2020-08-17T00:00:00.000+0200}, author = {Weaver, Sean A. and Franco, John V. and Schlipf, John S.}, biburl = {https://www.bibsonomy.org/bibtex/252ab7bff2c065ca2fee91e671b30105d/dblp}, ee = {https://doi.org/10.3233/sat190004}, interhash = {a8ced0e6c16121e8cceb4f7efad29a25}, intrahash = {52ab7bff2c065ca2fee91e671b30105d}, journal = {J. Satisf. Boolean Model. Comput.}, keywords = {dblp}, number = 2, pages = {89-110}, timestamp = {2020-08-18T11:43:56.000+0200}, title = {Extending Existential Quantification in Conjunctions of BDDs.}, url = {http://dblp.uni-trier.de/db/journals/jsat/jsat1.html#WeaverFS06}, volume = 1, year = 2006 }