Login / Signup
From Weighted to Unweighted Model Counting.
Supratik Chakraborty
Dror Fried
Kuldeep S. Meel
Moshe Y. Vardi
Published in:
IJCAI (2015)
Keyphrases
</>
model counting
weighted model counting
polynomial size
knowledge compilation
satisfiability testing
probabilistic inference
database systems
expert systems
probabilistic model
max sat