Theory and Practice of Constraint Programming ACP2012