Mate Soos, Kuldeep S. Meel. Engineering an Efficient Probabilistic Exact Model Counter. In Ruzica Piskac, Zvonimir Rakamaric, editors, Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III. Volume 15933 of Lecture Notes in Computer Science, pages 72-91, Springer, 2025. [doi]
Abstract is missing.