Members

Teachers/Researchers

Nicolas Beldiceanu

Professor EMN, head -- nicolas.beldiceanu@mines-nantes.fr -- +33 (0)2 51 85 82 42

global constraints (classification, reformulation, filtering) - geometric constraints

Frédéric Benhamou

Professor Nantes University -- frederic.benhamou@univ-nantes.fr

numerical constraints - multimedia

Gilles Chabert

Associate Professor EMN -- gilles.chabert@mines-nantes.fr -- +33 (0)2 51 85 83 48

numerical constraints - robotic

Marc Christie

Associate Professor Nantes University

numerical constraints - multimedia

Philippe David

Associate Professor EMN -- philippe.david@mines-nantes.fr -- +33 (0)2 51 85 82 27

strong consistency - local search - dynamic problems

Romuald Debruyne

Associate Professor EMN -- romuald.debruyne@mines-nantes.fr -- +33 (0)2 51 85 82 11

strong consistency - dynamic problems

Sophie Demassey

Associate Professor EMN -- sophie.demassey@mines-nantes.fr -- +33 (0)2 51 85 82 44

mathematical programming, operational research and hybridations - scheduling

Narendra Jussien

Professor EMN -- narendra.jussien@mines-nantes.fr -- +33 (0)2 51 85 82 18

explanations - solvers - dynamic problems

Xavier Lorca

Associate Professor EMN -- xavier.lorca@mines-nantes.fr -- +33 (0)2 51 85 82 27

global constraints - graphs

Thierry Petit

Associate Professor EMN, vice head -- thierry.petit@mines-nantes.fr -- +33 (0)2 51 85 82 08

global constraints - reformulation - over-contrained problems

Jean-Xavier Rampon

Professor Nantes University

orders, lattices

Charlotte Truchet

Associate Professor Nantes University -- charlotte.truchet@univ-nantes.fr -- +33 (0)2 51 12 58 17

local search - global constraints - music

Research Engineers and post-doc

Charles Prud'Homme

Research Engineer EMN -- charles.prudhomme@mines-nantes.fr

administration and development of CHOCO

associate members

BenoÎt Rottembourg

Partner, Eurodécision, Versailles

asset and revenue management

PhD Students

Aurélien Merel

october 2008 - october 2011 -- aurelien.merel@mines-nantes.fr -- +33 (0)2 51 85 82 09

Flexibility in railway optimization problems

PhD advisor: Xavier Gandibleux, scientific advisor: Sophie Demassey

Marie Pelleau

october 2009 - october 2012 -- marie.pelleau@etu.univ-nantes.fr

Local Search for continuous and discrete

PhD advisors: Frédéric Benhamou, Pascal Van Hentenryck, scientific advisor: Charlotte Truchet

Alexis de Clercq

november 2009 - november 2012 -- alexis.de-clercq@mines-nantes.fr

Over-constrained scheduling

PhD advisors: Narendra Jussien, Nicolas Beldiceanu, scientific advisor: Thierry Petit

Jérémie du Boisberranger

september 2010 - september 2013 -- jeremiedbb@yahoo.fr

Satisfiability, algorithms et constraint solvers: quantitative evaluation

PhD advisors: Danièle Gardy (PRISM, UVSQ), Charlotte Truchet, Xavier Lorca

Arnaud Letort

october 2010 - october 2013 -- arnaud.letort@mines-nantes.fr

Global constraint on a set of trajectories

PhD advisor: Nicolas Beldiceanu

Xavier Libeaut

october 2010 - october 2013 -- xlibeaut@uco.fr

Dynamic multi-flows under resource synchronization constraints

PhD advisors: Éric Pinson (LISA, IMA), co-directors: Jorge Mendoza, Sophie Demassey

Jean-Guillaume Fages

october 2011 - october 2014 -- jean-guillaume.fages@mines-nantes.fr

Graph structures

PhD advisor: Nicolas Beldiceanu, scientific advisor: Xavier Lorca

Bruno Belin

october 2011 - october 2014 -- bruno.belin@univ-nantes.fr

Interactive conception of sustainable urban environments with constraints

PhD advisor: Frédéric Benhamou, scientific advisors: Charlotte Truchet, Marc Christie

Past members

Julien Menana, Eurodecision, Versailles,: PhD EMN 2007-2011
Arnaud Malapert, I3S, U.Nice,: PhD EMN and Polytechnique Montréal 2006-2011
Guillaume Richaud, Arias Associates,: PhD EMN 2005-2009
Jean-Marie Normand, Post-doc,: PhD Nantes University 2003-2007, ATER 2007-2009
Julien Vion, MCF Université de Valenciennes,: Post-doc ANR project CANAR 2008-2009
Stéphane Zampelli, Dynadec: Post-doc NetWMS project 2008-2009
Émilie Grellier, Optilogistic: PhD EMN 2005-2008
Mohamed Sbihi: Post-doc EMN 2007-2008
Jérôme Fortin, Montpellier II University: Associate Professor EMN 2007-2008
Hadrien Cambazard, 4C, Cork, Ireland: PhD EMN 2003-2007
Glen-Brug Guenver: PhD Nantes University 2003-2007
Emmanuel Poder: Associate Professor EMN 2003-2004, Post-doc 2006-2007
Pierre-Emmanuel Hladik, INSA-Toulouse: Associate Professor EMN 2006-2007
Jimmy Leblet, Telecom Bretagne: PhD Nantes University 2002-2005, ATER 2005-2006
Guillaume Rochart, Bouygues e-lab: PhD EMN 2002-2005
Laurent Breton: Associate Professor EMN 2003-2004
Evguéni Pétrov: Post-doc EMN 2002-2003
Abdallah Elkhyari, Eseco Systems: PhD EMN 2000-2003
Samir Ouis, IMAM University: PhD EMN 1999-2003
Mohamed Tounsi, Prince Sultan University: PhD EMN 1997-2001
Samir Loudni, Caen University: PhD EMN 1997-2000
Yahia Lebbah, Oran University: PhD EMN 1996-1999
Olivier Lhomme, ILOG S.A.: Associate Professor EMN 1995-1999
Patrice Boizumault, Caen University: Professor EMN 1994-2001 and founder of the Discrete Constraints team

Trainees

Julie Laniau: L3 U. Nantes (C. Truchet, T. Gousset): SAT with statistical physics methods
Bruno Belin: M2 Alma U. Nantes (M. Christie):
Jean-Guillaume Fages: Master GIPAD EMN 2011 (X. Lorca): graph structures
Frédéric Dumonceaux: Master ECD Polytech'Nantes 2011 (G. Chabert): the nvector constraint
Wenjie Fang: ENS 2010 (C. Truchet, F. Saubion): parameters of local search algorithms
Rachid Kalèche: Master SAD/U. Nantes 2008 (S. Demassey): cuts and constraints for TSP
Ashish Kumar Thakur: Bachelor 2008 (C. Prud'homme): CHOC developments
Damien Noguès: ENS 2007 (C. Truchet): probabilistic model of Walk-SAT
William Ledoux: IMA 2007 (N. Jussien): school timetabling
Rida Sadek: Doc 2006-2007 (N. Beldiceanu): geometric constraints (NetWMS project)
Émilien Dutang: Doc 2006-2007 (T. Petit): reformulation (CANAR project)

Visitors and Seminars

Philippe Codognet, U. Tokyo: may 16-23, 2011
Pierre Ille, IML: april 2011
Laurent Perron, Google: feb 3-4, 2011: or-tools
Helmut Simonis, 4C: nov 1-dec 31, 2010: seeker of constraints
Jean-Charles Régin, U. Nice: aug 2-6, 2010
Mark Wallace, Andreas Schutt, U. Monash,: sep 14-19, 2009: generation of explanations from global constraints to SAT clauses
Mats Carlsson, Magnus Agren, SICS, Helmut Simonis, 4C: aug 24-28, 2009: NetWMS; seeker of constraints; visualisation tool
Christian Schulte, KTH: feb 17-mar 6, 2009: CP systems and Dynamic Variable Elimination During Propagation Solving
Jean-Charles Régin, U. Nice: feb 2-5, 2009: soft-constraints and Challenges in CP
Mats Carlsson, Magnus Ågren SICS: sep 21-27, 2008: geost (NetWMS project)
Guiseppe Montano, U. York: jul 7-12, 2008: integrated modular avionics survivability
François Clautiaux, U. Lille, Antoine Jouglet, Heudiasyc: jun 23-25, 2008: bin-packing with constraints (CONS-PACK project)
Sébasien Tabary, CRIL: apr 10, 2008: exploiting conflict in order to reduce search in the context of constraint satisfaction
Yann Hendel, LIX: apr 8, 2008: scheduling soft tasks
Gilles Chabert, ENSIETA Brest: mar 27, 2008:
Patrick Cousot, ENS Paris: dec 20, 2007: verification of embedded critical software with abstract interpretation
Matthias Zytnicki, INRA Toulouse: nov 20, 2007: filtering within weighted constraints network and application to the search of non-coding RNAs
Mats Carlsson, SICS, Helmut Simonis, IC-Parc: aug 20-24, 2007: XML catalog
Amélie Husson, Alfaplan GmbH, Allemagne: oct 1-2, 2007: vehicle routing with the software CATRIN
Grégoire Dooms, U. Louvain: dec 4-7, 2006: graph constraints
Mathias Paulin, LIRMM: nov 29-30, 2006: constraint network learning, movement planning in robotic
Luis Quesada, U. Louvain: oct 9-13, 2006: path constraint
Barry O'Sullivan, 4C Cork: apr 4-8, 2006: handling nogoods with automata (CNRS/Ulysses)
Louis-Martin Rousseau, CRT Montréal: dec 5-9, 2005: CP/MIP hybrid methods and routing (AtlanSTIC)
Mats Carlsson, SICS: nov 16-18, 2005: global constraint catalog