Nethercote, N., Stuckey, P. J., Brand, S., Duck, G. J., & Tack, G. (2007). MiniZinc: Towards a Standard CP Modelling Language [Conference paper]. Principles and Practice of Constraint Programming - CP 2007. https://doi.org/10.1007/978-3-540-74970-7_38