A Hybrid Method for Probabilistic Satisfiability.

Pavel Klinov Bijan Parsia

Published in: CADE (2011)

Keyphrases

hybrid method
probabilistic model
bayesian networks
uncertain data
evolutionary methods
np complete
hybrid algorithm
data sets
genetic algorithm
computational complexity
support vector machine
propositional logic