@inproceedings{OztokD15,
author = {Umut Oztok and Adnan Darwiche},
title = {A Top-Down Compiler for Sentential Decision Diagrams},
booktitle = {Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI)},
year = {2015},
pages = {3141--3148},
}