MiniZinc: Towards a Standard CP Modelling Language.

Nicholas Nethercote Peter J. Stuckey Ralph Becket Sebastian Brand Gregory J. Duck Guido Tack

Published in: CP (2007)

Keyphrases

modelling language
constraint programming
formal semantics
database
machine learning
metadata
learning scenarios