AAAI Paper "model counting" Papers
5 papers found
Towards Projected and Incremental Pseudo-Boolean Model Counting
Suwei Yang, Kuldeep S. Meel
AAAI 2025paperarXiv:2412.14485
2
citations
Auditable Algorithms for Approximate Model Counting
S Akshay, Supratik Chakraborty, Kuldeep S Meel
AAAI 2024paperarXiv:2312.12362
2
citations
Engineering an Exact Pseudo-Boolean Model Counter
Suwei Yang, Kuldeep S Meel
AAAI 2024paperarXiv:2312.12341
Exact ASP Counting with Compact Encodings
Mohimenul Kabir, Supratik Chakraborty, Kuldeep S Meel
AAAI 2024paperarXiv:2312.11936
10
citations
Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration with Provable Guarantees
Jinzhao Li, Nan Jiang, Yexiang Xue
AAAI 2024paperarXiv:2309.08883
1
citations