Stuckey, P. J., T. Feydy, A. Schutt, G. Tack, and J. Fischer. “The MiniZinc Challenge 2008–2013”. AI Magazine, vol. 35, no. 2, June 2014, pp. 55-60, doi:10.1609/aimag.v35i2.2539.