Pesant, G. Getting More Out of the Exposed Structure in Constraint Programming Models of Combinatorial Problems. AAAI 2017, 31.