TY  - RPRT
TI  - Approximate SMT Counting Beyond Discrete Domains
AU  - Arijit Shaw
AU  - Kuldeep S. Meel
PY  - 2026
DO  - 10.1109/dac63849.2025.11133351
UR  - https://arxiv.org/abs/2507.18612
ID  - 2507.18612
ER  -