A Refuted Conjecture on Probabilistic Satisfiability.
Marcelo FingerGlauber De BonaPublished in: SBIA (2010)
Keyphrases
- satisfiability problem
- np complete
- phase transition
- bayesian networks
- computational complexity
- generative model
- probabilistic model
- databases
- probabilistic databases
- probabilistic logic
- context sensitive
- knowledge representation
- probability distribution
- evolutionary algorithm
- orders of magnitude
- case study
- uncertain data
- knowledge base
- information systems
- propositional logic
- neural network
- decision procedures
- real time