SUNNY-CP and the MiniZinc Challenge.

Roberto Amadini Maurizio Gabbrielli Jacopo Mauro

Published in: CoRR (2017)

Keyphrases

machine learning
artificial intelligence
similarity measure
constraint programming
real time
real world
data mining
image processing
image segmentation
bayesian networks
multiscale
digital libraries
pairwise
constraint satisfaction