1. Audemard, G., Lagniez, J., Miceli, M.: A new exact solver for (weighted) max#SAT. In: SAT. LIPIcs, vol. 236, pp. 28:1–28:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
2. Aziz, R.A., Chu, G., Muise, C., Stuckey, P.: $$\#\exists $$SAT: projected model counting. In: Heule, M., Weaver, S. (eds.) SAT 2015. LNCS, vol. 9340, pp. 121–137. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-24318-4_10
3. Bardin, S., Girol, G.: A Quantitative Flavour of Robust Reachability. arXiv preprint arXiv:2212.05244 (2022)
4. Chakraborty, S., Fried, D., Meel, K.S., Vardi, M.Y.: From weighted to unweighted model counting. In: IJCAI, pp. 689–695. AAAI Press (2015)
5. Chakraborty, S., Meel, K.S., Vardi, M.Y.: A Scalable Approximate Model Counter. arXiv preprint arXiv:1306.5726 (2013)