Generalized Probabilistic Satisfiability.

Glauber De Bona Fábio Gagliardi Cozman Marcelo Finger

Published in: BRACIS (2013)

Keyphrases

satisfiability problem
probabilistic model
propositional logic
bayesian networks
computational complexity
posterior probability
data mining
machine learning
np complete
conditional probabilities
real time
information retrieval
website
information theoretic
probabilistic approaches
quantified boolean formulas