Approximate Model Counting: Is SAT Oracle More Powerful Than NP Oracle?

Diptarka Chakraborty Sourav Chakraborty Gunjan Kumar Kuldeep S. Meel

Published in: ICALP (2023)

Keyphrases

model counting
weighted model counting
special case
satisfiability testing
search algorithm
computational complexity
knowledge base
database systems
search space
belief revision
satisfiability problem