Structural Bit-vector Model Counting.

Seonmo Kim Stephen McCamant

Published in: SMT (2020)

Keyphrases

bit vector
model counting
weighted model counting
knowledge compilation
polynomial size
probabilistic inference
bayesian networks
propositional logic