O’Sullivan, B. Automated Modelling and Solving in Constraint Programming. AAAI 2010, 24, 1493-1497.