Stuckey, Peter J., Thibaut Feydy, Andreas Schutt, Guido Tack, and Julien Fischer. “The MiniZinc Challenge 2008–2013”. AI Magazine 35, no. 2 (June 19, 2014): 55-60. Accessed March 28, 2024. https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2539.