On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability.

Published in: SUM (2008)

Keyphrases

computational complexity
satisfiability problem
np complete
propositional logic
davis putnam logemann loveland
machine learning
artificial intelligence
incomplete information
sat problem