Symmetry Avoidance in MACE-Style Finite Model Finding.
Giles RegerMartin RienerMartin SudaPublished in: FroCos (2019)
Keyphrases
- computational model
- neural network model
- mathematical model
- cost function
- machine learning
- management system
- parameter values
- theoretical analysis
- least squares
- probability distribution
- probabilistic model
- evolutionary algorithm
- web services
- graphical models
- expert systems
- case study
- theoretical framework
- hierarchical structure
- knowledge base
- simulation model
- decision making