Login / Signup
Closing the Gap Between Short and Long XORs for Model Counting.
Shengjia Zhao
Sorathan Chaturapruek
Ashish Sabharwal
Stefano Ermon
Published in:
CoRR (2015)
Keyphrases
</>
model counting
weighted model counting
knowledge compilation
polynomial size
satisfiability testing
graphical models