@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Kuldeep S. Meel's publication pages at
@COMMENT http://www.comp.nus.edu.sg/~meel/publications/
@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},
}