Solving XCSP problems by using Gecode. - Massimo Morara; Jacopo Mauro; Maurizio Gabbrielli (CILC, 2011)