TY  - RPRT
TI  - SUNNY-CP and the MiniZinc Challenge
AU  - Roberto Amadini
AU  - Maurizio Gabbrielli
AU  - Jacopo Mauro
PY  - 2017
DO  - 10.1017/s1471068417000205
UR  - https://arxiv.org/abs/1706.08627
ID  - 1706.08627
ER  -