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) ↗
2. SUNNY: a Lazy Portfolio Approach for Constraint Solving. Issue 4 (21st July 2014) Authors: AMADINI, ROBERTO; GABBRIELLI, MAURIZIO; MAURO, JACOPO; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 509 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗