Sign in

Model Counting for Complex Data Structures.

Antonio FilieriMarcelo F. FriasCorina S. PasareanuWillem Visser
Published in: SPIN (2015)
Keyphrases
  • model counting
  • weighted model counting
  • knowledge compilation
  • satisfiability testing
  • polynomial size
  • propositional formulas
  • probabilistic inference
  • special case
  • learning theory