@inproceedings{OztokD14b,
author = {Umut Oztok and Adnan Darwiche},
title = {On Compiling CNF into Decision-DNNF},
booktitle = {Proceedings of the 20th International Conference on Principles and Practice of Constraint Programming (CP)},
pages = {42--57},
year = {2014},
}