A Practical Approach for Constraint Solving in Model Transformations.

Youness Laghouaouta Pierre Laforcade

Published in: ICSOFT (Selected Papers) (2018)

Keyphrases

constraint solving
computational model
high level
similarity measure
objective function
prior knowledge
formal model
search algorithm
probabilistic model
probability distribution
upper bound
markov random field
logic programming
mathematical model
statistical model
conceptual model