• Classified by Research Topic • Sorted by Date • Classified by Publication Type •
Engineering an Efficient Probabilistic Exact Model Counter.
Mate Soos, and Kuldeep S. Meel.
In Proceedings of International Conference on Computer-Aided Verification (CAV), pp. 72–91, 2025.
(unavailable)
@inproceedings{SoosM25CAV,
title={Engineering an Efficient Probabilistic Exact Model Counter},
author={Soos, Mate and Meel, Kuldeep S.},
booktitle=CAV,
pages={72--91},
year={2025},
bib2html_rescat={Counting, Solver Engineering},
bib2html_pubtype={Refereed Conference},
bib2html_dl_pdf={https://link.springer.com/chapter/10.1007/978-3-031-98682-6_5},
}
Generated by bib2html.pl (written by Patrick Riley with layout from Sanjit A. Seshia ) on Mon Dec 01, 2025 18:50:36