DS2012 of constraint programming