Closing the Gap Between Short and Long XORs for Model Counting.

Shengjia Zhao Sorathan Chaturapruek Ashish Sabharwal Stefano Ermon

Published in: AAAI (2016)

Keyphrases

model counting
weighted model counting
knowledge compilation
polynomial size
satisfiability testing
database
bayesian inference
search algorithm
computational complexity