Combining decision procedures by (model-)equality propagation.

Diego Caminha Barbosa De Oliveira David Déharbe Pascal Fontaine

Published in: Sci. Comput. Program. (2012)

Keyphrases

probabilistic model
decision procedures
machine learning
expert systems
databases
special case
probability distribution