Login / Signup
Understanding model counting for $β$-acyclic CNF-formulas.
Johann Brault-Baron
Florent Capelli
Stefan Mengel
Published in:
CoRR (2014)
Keyphrases
</>
model counting
cnf formula
np complete
knowledge compilation
propositional formulas
computational complexity
special case
np hard
machine learning
lower bound
polynomial size