A Model-Constructing Satisfiability Calculus.

Leonardo Mendonça de Moura Dejan Jovanovic

Published in: VMCAI (2013)

Keyphrases

computational model
theoretical analysis
statistical model
formal model
experimental data
objective function
probabilistic model
theoretical framework
learning algorithm
high level
prior knowledge
probability distribution
management system
em algorithm
model checking
prediction model