Parallel Variable Elimination on CNF Formulas.

Kilian Gebhardt Norbert Manthey

Published in: KI (2013)

Keyphrases

variable elimination
cnf formula
inference in bayesian networks
bayesian networks
probabilistic inference
np complete
belief networks
max sat
learning algorithm
decision making
knowledge base
graphical models