APA (7th ed.) Citation

Shaw, A., & Meel, K. S. (2025, June 22). Approximate SMT Counting Beyond Discrete Domains. 2025 62nd ACM/IEEE Design Automation Conference (DAC), 1-7. https://doi.org/10.1109/DAC63849.2025.11133351

Chicago Style (17th ed.) Citation

Shaw, Arijit, and Kuldeep S. Meel. "Approximate SMT Counting Beyond Discrete Domains." 2025 62nd ACM/IEEE Design Automation Conference (DAC) 22 Jun. 2025: 1-7. https://doi.org/10.1109/DAC63849.2025.11133351.

MLA (9th ed.) Citation

Shaw, Arijit, and Kuldeep S. Meel. "Approximate SMT Counting Beyond Discrete Domains." 2025 62nd ACM/IEEE Design Automation Conference (DAC), 22 Jun. 2025, pp. 1-7, https://doi.org/10.1109/DAC63849.2025.11133351.