APA (7th ed.) Citation

Shaw, A., Sarkar, U., & Meel, K. S. (2025). Efficient Volume Computation for SMT Formulas.

Chicago Style (17th ed.) Citation

Shaw, Arijit, Uddalok Sarkar, and Kuldeep S. Meel. Efficient Volume Computation for SMT Formulas. 2025.

MLA (9th ed.) Citation

Shaw, Arijit, et al. Efficient Volume Computation for SMT Formulas. 2025.