MeelGroup
MeelGroup
Home
Research
Publications
Blogs
News
Tools
People
Openings
Contact
Light
Dark
Automatic
Counting Answer Sets of Disjunctive Answer Set Programs
Mohimenul Kabir
,
Supratik Chakraborty
, and
Kuldeep S. Meel
2025
Cite
DOI
Type
Journal article
Publication
Theory and Practice of Logic Programming
counting
Related
An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs
Approximate SMT Counting Beyond Discrete Domains
Approximating Queries on Probabilistic Graphs
CNFs and DNFs with Exactly k Solutions
Efficient Volume Computation for SMT Formulas
Cite
×