Lagniez, J.-M. and Marquis, P. 2019. A Recursive Algorithm for Projected Model Counting. Proceedings of the AAAI Conference on Artificial Intelligence. 33, 01 (Jul. 2019), 1536-1543. DOI:https://doi.org/10.1609/aaai.v33i01.33011536.