Learning When to Use Automatic Tabulation in Constraint Model Reformulation.
Carlo CenaÖzgür AkgünZeynep KiziltanIan MiguelPeter NightingaleFelix Ulrich-OlteanPublished in: IJCAI (2023)
Keyphrases
- mathematical model
- prior knowledge
- high level
- objective function
- neural nets
- computational model
- learning systems
- supervised learning
- learning algorithm
- experimental data
- learning problems
- formal model
- learning process
- learning models
- learning mechanism
- neural network model
- classification models
- structured prediction
- statistical model
- maximum likelihood
- online learning
- probabilistic model
- support vector
- reinforcement learning
- similarity measure
- social networks