The Model Counting Competition 2020.

Johannes Klaus Fichte Markus Hecher Florim Hamiti

Published in: ACM J. Exp. Algorithmics (2021)

Keyphrases

model counting
weighted model counting
knowledge compilation
polynomial size
satisfiability testing
bayesian inference
probabilistic inference
propositional formulas
machine learning
knowledge based systems
integrity constraints