Bit-Vector Model Counting using Statistical Estimation.

Seonmo Kim Stephen McCamant

Published in: CoRR (2017)

Keyphrases

statistical estimation
bit vector
model counting
weighted model counting
knowledge compilation
polynomial size
satisfiability testing
database
image segmentation
probabilistic inference
upper bound
bayesian inference