associate members
BenoÎt Rottembourg
Partner, Eurodécision,
Versailles
asset and revenue management
PhD Students
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
november 2009 - november 2012 -- alexis.de-clercq@mines-nantes.fr
Over-constrained scheduling
PhD advisors: Narendra Jussien, Nicolas Beldiceanu, scientific
advisor: Thierry Petit
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
october 2011 - october 2014 -- jean-guillaume.fages@mines-nantes.fr
Graph structures
PhD advisor:
Nicolas Beldiceanu, scientific advisor: Xavier Lorca
october 2010 - october 2013 -- arnaud.letort@mines-nantes.fr
Global constraint on a set of
trajectories
PhD advisor: Nicolas Beldiceanu
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
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
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
Trainees
april 2012 - august 2012 -- mohamed.kebe@mines-nantes.fr
Several approaches
for the «soft cumulative» problem
Master MSIR 2012 (U. Clermont-Ferrand) - mentor : Thierry
Petit
Past members
- Marc Christie, IRISA/INRIA, Rennes,
- Assistant professor, Nantes University 2003-2011
- Julien Menana, EDF, Clamart,
- 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
Former trainees
- Julie Laniau
- L3 U. Nantes (C. Truchet, T. Gousset): SAT with statistical
physics methods
- 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
