Login / Signup

Combining Decision Procedures by (Model-)Equality Propagation.

Diego Caminha Barbosa De OliveiraDavid DéharbePascal 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