Reducing the Complexity of Quantified Formulas via Variable Elimination.

Aboubakr Achraf El Ghazi Mattias Ulbrich Mana Taghdiri Mihai Herda

Published in: CoRR (2014)

Keyphrases

variable elimination
inference in bayesian networks
probabilistic inference
decision problems
computational complexity
worst case
neural network
prior knowledge
np hard
state space
expectation maximization
model selection