Probabilistic Satisfiability and Decomposition.
Guy-Blaise Douanya NguetséPierre HansenBrigitte JaumardPublished in: ECSQARU (1995)
Keyphrases
- satisfiability problem
- phase transition
- bayesian networks
- computational complexity
- probabilistic model
- np complete
- probabilistic databases
- uncertain data
- neural network
- quantified boolean formulas
- context sensitive
- conditional probabilities
- image segmentation
- knowledge base
- propositional logic
- wavelet packet
- search engine
- probabilistic approaches
- data sets