TY  - RPRT
TI  - Approximate Model Counting: Is SAT Oracle More Powerful than NP Oracle?
AU  - Diptarka Chakraborty
AU  - Sourav Chakraborty
AU  - Gunjan Kumar
AU  - Kuldeep S. Meel
PY  - 2023
DO  - 10.4230/lipics.icalp.2023.129
UR  - https://arxiv.org/abs/2306.10281
ID  - 2306.10281
ER  -