Sign in
Combining Decision Procedures by (Model-)Equality Propagation.
Diego Caminha Barbosa De Oliveira
David Déharbe
Pascal Fontaine
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
decision procedures
objective function
probability distribution
machine learning
expert systems
search space
query processing
probabilistic model
theorem proving