Login / Signup
The Model Counting Competition 2020.
Johannes Klaus Fichte
Markus Hecher
Florim Hamiti
Published in:
CoRR (2020)
Keyphrases
</>
model counting
weighted model counting
knowledge compilation
polynomial size
satisfiability testing
propositional formulas
probabilistic inference
bayesian inference
orders of magnitude
tabu search