1. SUNNY-CP and the MiniZinc challenge*. Issue 1 (10th August 2017) Authors: AMADINI, ROBERTO; GABBRIELLI, MAURIZIO; MAURO, JACOPO Journal: Theory and practice of logic programming Issue: Volume 18:Issue 1(2018) Page Start: 81 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗