Subformula Caching for Model Counting and Quantitative Program Analysis.

William Eiers Seemanta Saha Tegan Brennan Tevfik Bultan

Published in: ASE (2019)

Keyphrases

model counting
propositional formulas
weighted model counting
propositional logic
satisfiability testing
normal form
knowledge compilation
polynomial size
query processing
probabilistic inference
propositional satisfiability
integrity constraints
bayesian inference