[DBLP:conf/cpaior/HebrardOO10]
Constraint Programming and Combinatorial Optimisation in Numberjack
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010,
2010