A Logic Based Algorithm for Solving Probabilistic Satisfiability.
Marcelo FingerGlauber De BonaPublished in: IBERAMIA (2010)
Keyphrases
- probabilistic model
- computational complexity
- experimental evaluation
- dynamic programming
- particle swarm optimization
- learning algorithm
- times faster
- detection algorithm
- optimization algorithm
- high accuracy
- np hard
- k means
- optimal solution
- expectation maximization
- context free parsing
- clustering method
- generative model
- cost function
- bayesian networks
- preprocessing
- computational cost
- significant improvement
- np complete
- decision trees
- clustering algorithm
- lower bound
- neural network
- posterior probability