Barry O'Sullivan Automated Modelling and Solving in Constraint Programming. 2010 AAAI https://doi.org/10.1609/aaai.v24i1.7530 conf/aaai/2010 db/conf/aaai/aaai2010.html#OSullivan10 1493-1497