Sign in
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