Hypergraph Acyclicity and Propositional Model Counting.

Florent Capelli Arnaud Durand Stefan Mengel

Published in: CoRR (2014)

Keyphrases

model counting
satisfiability testing
weighted model counting
knowledge compilation
bounded treewidth
polynomial size
propositional logic
data exchange
propositional formulas
knowledge base