Synthesis of Search Algorithms from High-Level CP Models.

Samir A. Mohamed Elsayed Laurent Michel

Published 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