@inproceedings{ChoiDarwiche13,
author = {Arthur Choi and Adnan Darwiche},
title = {Dynamic Minimization of Sentential Decision Diagrams},
booktitle = {Proceedings of the 27th Conference on Artificial Intelligence (AAAI)},
year = {2013},
pages = {187-194},
}