Capelli, F., Lagniez, J.-M. and Marquis, P. 2021. Certifying Top-Down Decision-DNNF Compilers. Proceedings of the AAAI Conference on Artificial Intelligence. 35, 7 (May 2021), 6244-6253. DOI:https://doi.org/10.1609/aaai.v35i7.16776.