• Classified by Research Topic • Sorted by Date • Classified by Publication Type •
On Top-Down Pseudo-Boolean Model Counting.
Suwei Yang, Yong Lai and Kuldeep S. Meel.
In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT), pp. 31:1–31:10, August 2025.
(unavailable)
@inproceedings{YangLaiMeel25SAT,
title={On Top-Down Pseudo-Boolean Model Counting},
author={Yang, Suwei and Lai, Yong and Meel, Kuldeep S.},
booktitle=SAT,
pages={31:1--31:10},
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.31},
}
Generated by bib2html.pl (written by Patrick Riley with layout from Sanjit A. Seshia ) on Mon Dec 01, 2025 18:50:36