Easy Cases of Probabilistic Satisfiability.

Kim Allan Andersen Daniele Pretolani

Published in: Ann. Math. Artif. Intell. (2001)

Keyphrases

probabilistic model
satisfiability problem
np complete
generative model
phase transition
relational databases
case base
website
bayesian networks
temporal logic
context sensitive
sat problem