@inproceedings{darwicheECAI04, author = "Adnan Darwiche", title = "New Advances in Compiling {CNF} to Decomposable Negation Normal Form", booktitle = "Proceedings of European Conference on Artificial Intelligence", year = 2004 }