Gaël Dias has been invited by the University of Orléans (France) for one month as an invited researcher. He is working in the Constraint and Machine Learning group of the Laboratoire d’Informatique Fondamentale d’Orléans (LIFO).