Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers.

Published in: J. Artif. Intell. Res. (2021)

Keyphrases

model counting
polynomial size
first order logic
weighted model counting
knowledge compilation
satisfiability testing
propositional logic
boolean functions
dnf formulas
natural language
theorem prover
relational databases
special case
database design