Peter Stuckey, the co-author of this paper has a series of courses on modelling for constraint programming on coursera. https://www.coursera.org/learn/basic-modeling Pascal Van Hentenryck has another one https://www.coursera.org/learn/discrete-optimization Håkan K has a blog with a big collection of models for a wide variety of solvers https://www.hakank.org/