Nicholas Nethercote Peter J. Stuckey Ralph Becket Sebastian Brand Gregory J. Duck Guido Tack MiniZinc: Towards a Standard CP Modelling Language. 529-543 2007 conf/cp/2007 CP http://dx.doi.org/10.1007/978-3-540-74970-7_38 db/conf/cp/cp2007.html#NethercoteSBBDT07