Login / Signup
Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers.
Ondrej Kuzelka
Published in:
CoRR (2020)
Keyphrases
</>
model counting
polynomial size
first order logic
weighted model counting
satisfiability testing
knowledge compilation
propositional logic
boolean functions
propositional formulas
dnf formulas
theorem prover
bounded treewidth
random instances
machine learning
state space
probabilistic model
natural language