Proofs for Propositional Model Counting.

Johannes Klaus Fichte Markus Hecher Valentin Roland

Published in: SAT (2022)

Keyphrases

model counting
knowledge compilation
satisfiability testing
weighted model counting
polynomial size
theorem proving
propositional formulas
propositional logic
theorem prover