Synthesis of Search Algorithms from High-Level CP Models.
Samir A. Mohamed ElsayedLaurent MichelPublished in: CP (2011)
Keyphrases
- model selection
- parameter estimation
- high level
- search algorithm
- regression model
- low level
- program synthesis
- artificial intelligence
- tabu search
- higher level
- computer vision
- probabilistic model
- scheduling problem
- source code
- artificial neural networks
- lower bound
- bayesian networks
- search engine
- branch and bound
- accurate models
- real time