Assessing the Kodkod Model Finder for Resolving Model Inconsistencies.
Ragnhild Van Der StraetenJorge Pinna PuissantTom MensPublished in: ECMFA (2011)
Keyphrases
- objective function
- mathematical model
- cost function
- probabilistic model
- management system
- computational model
- formal model
- input data
- theoretical analysis
- object model
- computational models
- theoretical foundation
- conceptual model
- experimental data
- statistical model
- parameter estimation
- data sets
- supply chain
- prior knowledge
- evolutionary algorithm
- high level
- neural network