Efficient Volume Computation for SMT Formulas

Arijit Shaw. Efficient Volume Computation for SMT Formulas. In Shqiponja Ahmetaj, Kai Sauerwald, editors, Proceedings of the Doctoral Consortium of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR-DC 2025) co-located with KR 2025, November 11-17, 2025, Melbourne, Australia. Volume 4078 of CEUR Workshop Proceedings, pages 45-51, CEUR-WS.org, 2025. [doi]

Abstract

Abstract is missing.