Parallel Weighted Model Counting with Tensor Networks.

Jeffrey M. Dudek Moshe Y. Vardi

Published in: CoRR (2020)

Keyphrases

weighted model counting
probabilistic inference
satisfiability testing
higher order
model counting
neural network
bayesian networks
bayesian inference
np hard
conditional probabilities