Login / Signup
Symmetric Component Caching for Model Counting on Combinatorial Instances.
Timothy van Bremen
Vincent Derkinderen
Shubham Sharma
Subhajit Roy
Kuldeep S. Meel
Published in:
AAAI (2021)
Keyphrases
</>
model counting
weighted model counting
knowledge compilation
satisfiability testing
query processing
probabilistic inference
propositional formulas
random instances
polynomial size
search space
data management
phase transition