Generating efficient solvers from constraint models.

Shu Lin Na Meng Wenxin Li

Published in: ESEC/SIGSOFT FSE (2021)

Keyphrases

probabilistic model
computationally expensive
image sequences
machine learning
decision trees
search algorithm
semi supervised
computationally efficient
experimental data
mathematical models