Stuckey, P. J., Feydy, T., Schutt, A., Tack, G., & Fischer, J. (2014). The MiniZinc Challenge 2008–2013. AI Magazine, 35(2), 55-60. https://doi.org/10.1609/aimag.v35i2.2539