Symmetries for Cube-And-Conquer in Finite Model Finding.
João AraújoChoiwah ChowMikolás JanotaPublished in: CP (2023)
Keyphrases
- computational model
- case study
- mathematical model
- probabilistic model
- network model
- information systems
- multiscale
- theoretical framework
- autoregressive
- experimental data
- parameter estimation
- prior knowledge
- evolutionary algorithm
- network structure
- conceptual model
- formal model
- object model
- learning algorithm
- machine learning