• Classified by Research Topic • Sorted by Date • Classified by Publication Type •
Rounding meets approximate model counting
Jiong Yang, and Kuldeep S. Meel.
Formal Methods in System Design, 67(2):189–221, 2025.
(unavailable)
@article{YangM25fmsd,
title={Rounding meets approximate model counting},
author={Yang, Jiong and Meel, Kuldeep S.},
journal={Formal Methods in System Design},
volume={67},
number={2},
pages={189--221},
year={2025},
bib2html_rescat={Counting},
bib2html_pubtype={Journal},
bib2html_dl_pdf={https://doi.org/10.1007/s10703-025-00481-6},
}
Generated by bib2html.pl (written by Patrick Riley with layout from Sanjit A. Seshia ) on Mon Dec 01, 2025 18:50:36