• Classified by Research Topic • Sorted by Date • Classified by Publication Type •
Approximate SMT Counting Beyond Discrete Domains.
Arijit Shaw, and Kuldeep S. Meel.
In Proceedings of Design Automation Conference (DAC), pp. 1–7, 2025.
(unavailable)
@inproceedings{ShawM25DAC,
title={Approximate SMT Counting Beyond Discrete Domains},
author={Shaw, Arijit and Meel, Kuldeep S.},
booktitle=DAC,
pages={1--7},
year={2025},
bib2html_rescat={Counting},
bib2html_pubtype={Refereed Conference},
bib2html_dl_pdf={https://arxiv.org/pdf/2507.18612},
}
Generated by bib2html.pl (written by Patrick Riley with layout from Sanjit A. Seshia ) on Mon Dec 01, 2025 18:50:36