The Power of Literal Equivalence in Model Counting.

Yong Lai Kuldeep S. Meel Roland H. C. Yap

Published in: AAAI (2021)

Keyphrases

model counting
weighted model counting
knowledge compilation
satisfiability testing
polynomial size
probabilistic inference