@inproceedings{Darwiche11, author = {Adnan Darwiche}, title = {{SDD}: A New Canonical Representation of Propositional Knowledge Bases}, booktitle = {Proceedings of the 22nd International Joint Conference on Artificial Intelligence}, year = {2011}, pages = {819-826}, }