Arijit Shaw, Uddalok Sarkar, Kuldeep S. Meel. Efficient Volume Computation for SMT Formulas. In Magdalena Ortiz 0001, Renata Wassermann, Torsten Schaub, editors, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 1-17, 2025. 2025. [doi]
Abstract is missing.