Model Search: Formalizing and Automating Constraint Solving in MDE Platforms.

Mathias Kleiner Marcos Didonet Del Fabro Patrick Albert

Published in: ECMFA (2010)

Keyphrases

computational model
constraint solving
probabilistic model
probability distribution
neural network
high level
objective function
software engineering
constraint propagation