Approximate SMT Counting Beyond Discrete Domains.

Arijit Shaw, Kuldeep S. Meel

Browse the full DAC paper archive.