Login / Signup
On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability.
Emad Saad
Published in:
ISAIM (2008)
Keyphrases
</>
satisfiability problem
high level
propositional logic
artificial intelligence
bayesian networks
search algorithm
sat problem