An Improved CNF Encoding Scheme for Probabilistic Inference.

Anicet Bart Frédéric Koriche Jean-Marie Lagniez Pierre Marquis

Published in: ECAI (2016)

Keyphrases

encoding scheme
probabilistic inference
weighted model counting
graphical models
encoding schemes
bayesian networks
model counting
conditional probabilities
genetic algorithm
message passing
belief networks
boolean functions
sat solvers
machine learning
image segmentation