A. Choi and A. Darwiche, “Dynamic Minimization of Sentential Decision Diagrams”, AAAI, vol. 27, no. 1, pp. 187-194, Jun. 2013.