• Classified by Research Topic • Sorted by Date • Classified by Publication Type •
Towards Practical First-Order Model Counting.
Ananth K. Kidambi, Guramrit Singh, Paulius Dilkas and Kuldeep S. Meel.
In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT), pp. 18:1–18:18, August 2025.
(unavailable)
@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},
}
Generated by bib2html.pl (written by Patrick Riley with layout from Sanjit A. Seshia ) on Mon Dec 01, 2025 18:50:36