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