Bit-Vector Model Counting Using Statistical Estimation.

Seonmo Kim Stephen McCamant

Published in: TACAS (1) (2018)

Keyphrases

statistical estimation
bit vector
model counting
weighted model counting
knowledge compilation
polynomial size
satisfiability testing
image segmentation
probabilistic inference
propositional formulas
image processing
special case