@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/
@inproceedings{KidambiSDM25SAT,
	title={Towards Practical First-Order Model Counting},
	author={Kidambi, Ananth K. and Singh, Guramrit and Dilkas, Paulius and Meel, Kuldeep S.},
	booktitle=SAT,
	pages={18:1--18:18},
	year={2025},
	month=aug,
	bib2html_rescat={Counting},
	bib2html_pubtype={Refereed Conference},
	bib2html_dl_pdf={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2025.18},
}