Peter J. Stuckey, Thibaut Feydy, Andreas Schutt, Guido Tack, Julien Fischer: The MiniZinc Challenge 2008-2013. AI Mag. 35(2): 55-60 (2014)