Quantum Weighted Model Counting.

Fabrizio Riguzzi

Published in: ECAI (2020)

Keyphrases

weighted model counting
probabilistic inference
bayesian inference
model counting
bayesian networks
graphical models
satisfiability testing
image segmentation
probabilistic model
knowledge base
relational databases
np complete
database design
conditional probabilities