Model Counting for Complex Data Structures.

Antonio Filieri Marcelo F. Frias Corina S. Pasareanu Willem 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