• Classified by Research Topic • Sorted by Date • Classified by Publication Type •
CNFs and DNFs with Exactly k Solutions.
L. Sunil Chandran, Rishikesh Gajjala and Kuldeep S. Meel.
In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT), pp. 9:1–9:15, August 2025.
(unavailable)
@inproceedings{ChandranGM25SAT,
title={CNFs and DNFs with Exactly k Solutions},
author={Chandran, L. Sunil and Gajjala, Rishikesh and Meel, Kuldeep S.},
booktitle=SAT,
pages={9:1--9:15},
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.9},
}
Generated by bib2html.pl (written by Patrick Riley with layout from Sanjit A. Seshia ) on Mon Dec 01, 2025 18:50:36