Understanding Model Counting for beta-acyclic CNF-formulas.

Johann Brault-Baron Florent Capelli Stefan Mengel

Published in: STACS (2015)

Keyphrases

model counting
cnf formula
knowledge compilation
propositional formulas
np complete
np hard
normal form
reinforcement learning
objective function
max sat