Projected Model Counting.

Rehan Abdul Aziz Geoffrey Chu Christian J. Muise Peter J. Stuckey

Published in: CoRR (2015)

Keyphrases

model counting
weighted model counting
knowledge compilation
polynomial size
probabilistic inference
satisfiability testing
lower bound
boolean functions
machine learning
knowledge representation
graphical models
propositional formulas