(1)
Stuckey, P. J.; Feydy, T.; Schutt, A.; Tack, G.; Fischer, J. The MiniZinc Challenge 2008–2013. AIMag 2014, 35, 55-60.