[1]
P. J. Stuckey, T. Feydy, A. Schutt, G. Tack, and J. Fischer, “The MiniZinc Challenge 2008–2013”, AIMag, vol. 35, no. 2, pp. 55-60, Jun. 2014.