[Nethercote:2007:MTS:1771668.1771709]
MiniZinc: Towards a Standard CP Modelling Language
Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming,
2007