MeelGroup
MeelGroup
Home
Research
Publications
Blogs
News
Tools
People
Openings
Contact
Light
Dark
Automatic
On approximability of propositional model counting
Diptarka Chakraborty
,
Lawqueen Kanesh
, and
Kuldeep S. Meel
2026
Cite
DOI
Type
Journal article
Publication
Theoretical Computer Science
, 1075, article 115930
counting
Related
#CFG and #DNNF admit FPRAS
CSB: A Counting and Sampling tool for Bit-vectors
Counting and Sampling Traces in Regular Languages
On the smallest antichain that generates an ideal of a given size
An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs
Cite
×