@inproceedings{pipatsrisawat10lower, author = {Knot Pipatsrisawat and Adnan Darwiche}, title = {A Lower Bound on the Size of Decomposable Negation Normal Form}, booktitle = {In Proceedings of the Twenty-Forth AAAI Conference on Artificial Intelligence (AAAI)}, year = {2010}, pages = {345-350} }