Sophie Demassey

topics

combinatorial optimisation : exact solution algorithms for NP-hard problems
constraint programming, linear programming and hybrid approaches [CP&OR website]

global constraints [catalog website]
intelligent backtracking for LP, CP and SAT
CP-based LP decomposition methods (column generation, cutting-planes, lagrangean, benders)

resource constrained project scheduling (RCPSP)
timetabling, shift scheduling

activities

member of the Constraints research group of Laboratoire Informatique Nantes-Atlantique (LINA)

head of GIPAD (Computer Science for Decision Support/ Génie Pour l'Aide à la Décision) graduate specialty of the engineer school of École des Mines de Nantes.

PhD scientific advisor of Julien Menana (automata and constraint programming 2007-2010) and of Aurélien Merel (flexibility in railway optimisation problems 2008-2011)

maintainer of the global constraint catalog authored by Nicolas Beldiceanu

organizer of CP&OR, the french working group on integrating constraint programming and operations research, with Fabien Le Huédé

member of the french associations of constraint programming (AFPC) and of operations research (Roadef).

participant to the Gotha french working group on theoretic and applied scheduling, and to the RCPSP theme.

program comitee member: JFPC'09 (june 3-5, 2009, Orléans), JDIR'09 (february 2-4, 2009, Belfort), JFPC'08 (june 4-6, 2008, Nantes), JFPC'07 (june 4-6, 2007, Rocquencourt), MLS+CP (november 28-29, 2005, Nantes).

organization comitee member: JFPC'08 (june 4-6, 2008, Nantes), CP'06 (september 25-29, 2006, Nantes), MLS+CP (november 28-29, 2005, Nantes), ROADEF'03 (february 26-28, 2003, Avignon).

reviewer for Mathematical Programming, Discrete Optimization, INFORMS Journal on Computing, Journal of Scheduling, European Journal of Operational Research, Journal of Heuristics, Annals of Operations Research, Rairo-RO and for CPAIOR and CP conferences.

resume

2006-

associate professor - Constraints group, LINA CNRS UMR 6241, École des Mines de Nantes

2005-2006

assistant professor - Constraints group, LINA CNRS UMR 6241, École des Mines de Nantes

collaborations: Nicolas Beldiceanu, Thierry Petit, Mats Carlsson (SICS)

2004-2005

post-doc - Quosseca group, CRT, École Polytechnique de Montréal and Omega Optimisation Inc., Montréal

collaborations: Louis-Martin Rousseau, Gilles Pesant

2003-2004

research and teaching assistant (ATER) - OR and Optimisation group, LIA, Université d'Avignon

collaborations: Christian Artigues, Philippe Michelon, Thierry Garray, Philippe Baptiste (LIX, CNRS)

2000-2003

PhD in Computer Science / Combinatorial Optimisation - LIA, Université d'Avignon

hybrid CP-LP methods for the RCPSP [phd03] - supervisors: Christian Artigues, Philippe Michelon

1999-2000

MsC in Computer Science / Combinatorial Optimisation - Université d'Aix-Marseille II

Lower bound for the RCPSP [msc00] - supervisors: Christian Artigues, Philippe Michelon (LIA, Avignon)

1997-1998

MsC in Pure Mathematics / Commutative Algebra - Université d'Aix-Marseille I

Elasticity in the Dedekind rings [msc98] - supervisor: Paul-Jean Cahen, (LATP, Marseille)

publications

international journals and conferences

CPAIOR 09: Julien Menana, Sophie Demassey 2009 Sequencing and counting with the multicost-regular constraint Lecture Notes in Computer Science (2009) ???: ??? - ??? 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09), Pittsburgh, USA.
Constraints 07: Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit 2007 Global Constraint Catalog: Past, Present and Future Constraints(2007) 12 (1): 21-62. [doi] see also: the catalog website
Constraints 06: Sophie Demassey, Gilles Pesant, Louis-Martin Rousseau 2006 A Cost-Regular based Hybrid Column Generation Approach Constraints(2006) 11 (4) : 315 - 333. [doi]
CP 06: Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit 2006 Graph-Based Filtering Lecture Notes in Computer Science (2006) 4204: 59-74. 12th International Conference on Principles and Practice of Constraint Programming (CP'06), 24-29 sep 2006, Nantes.
IJOC 05: Sophie Demassey, Christian Artigues, Philippe Michelon 2005 Constraint propagation based cutting planes : an application to the resource-constrained project scheduling problem INFORMS Journal on Computing(2005) 17 (1) : 52 - 65
CPAIOR 05: Sophie Demassey, Gilles Pesant, Louis-Martin Rousseau 2005 Constraint programming based column generation for employee timetabling Lecture Notes in Computer Science (2005) 3524: 140 - 154 2nd International Conference on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'05), 30 mai - 2 juin 2005, Prague, Czech Republic.
ORSpectrum 04: Philippe Baptiste, Sophie Demassey 2004 Tight LP bounds for Resource Constrained Project Scheduling OR Spectrum(2004) 26 : 251 - 262 see also: computational results
ECCO 04: Sophie Demassey 2004 An application of resolution search to the RCPSP 17th European Conference on Combinatorial Optimization (ECCO'04), 24-26 juin 2004, Beyrouth, Liban.
PMS 04: Sophie Demassey, Christian Artigues, Philippe Baptiste, Philippe Michelon 2004 Lagrangean relaxation-based lower bounds for the RCPSP 9th international workshop on project management and scheduling (PMS'04), avril 2004, Nancy, France.
CPAIOR 02: Sophie Demassey, Christian Artigues, Philippe Michelon 2002 A hybrid constraint propagation-cutting plane algorithm for the RCPSP 4th International Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'02), 25-27 mars 2002, Le Croisic, France, Proc. p. 321-331.
Cosolv 01: Sophie Demassey, Christian Artigues, Philippe Michelon 2001 Comparing lower bounds for the RCPSP under a same hybrid constraint-linear programming approach Workshop on Cooperative Solvers in Constraint Programming (CoSolv'01), International Conference on Constraint Programming (CP'01), 2001, Paphos, Cyprus, Proc. p. 109-123.

book and chapters

ISTE 08: Christian Artigues, Sophie Demassey, Emmanuel Néron (eds.) 2008 Resource-Constrained Project Scheduling: models, algorithms, extensions and applications ISTE/Wiley, ISBN 978-1-84821-034-9.
ISTE 08b: Sophie Demassey 2008 Mathematical Programming Formulations and Lower Bounds for the RCPSP Chapter 3 in Resource-Constrained Project Scheduling: models, algorithms, extensions and applications, C. Artigues, S. Demassey, E. Néron (eds.), ISTE/Wiley, ISBN 978-1-84821-034-9.
ISORMS 06: Emmanuel Néron, Christian Artigues, Philippe Baptiste, Jacques Carlier, Sophie Demassey, Philippe Laborie 2006 Lower bounds computation for RCPSP chapter in Perspectives in modern project scheduling, J. Weglarz, J. Jozefowska (eds.), Springer, ISBN 978-0-387-33643-5, International Series in Operations Research & Management Science, Vol. 92.
PIP 05: Christian Artigues, Sophie Demassey 2005 Gestion de projet chap. IV de Gestion de la production et ressources humaines: méthodes de planification dans les systèmes productifs, A. Hait (éd.), Presses internationales Polytechnique, Montréal, Canada, ISBN 978-2-553-01145-0.

conferences, workshops, seminars

ROADEF 09a: Aurélien Merel, Xavier Gandibleux, Sophie Demassey, Richard Lusby 2009 An improved Upper Bound for the Railway Infrastructure Capacity Problem on the Pierrefitte-Gonesse Junction 10ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'09), Nancy, France. ISBN 2-905267-65-8, Proc. p. 62-76.
ROADEF 09b: Julien Menana, Sophie Demassey, Narendra Jussien 2009 Relaxation lagrangienne pour le filtrage d'une contrainte-automate à coûts multiples 10ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'09), Nancy, France.
HYBRID 06: Sophie Demassey 2006 Experiments with Resolution search Workshop on Hybrid methods and branching rules in combinatorial optimization (Hybrid'06), 18-22 September 2006, Montréal, Canada.
JFPC 06: Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit 2006 Graph-Based Filtering 2èmes Journées Francophones de Programmation par Contraintes (JFPC'06), 7-9 jun 2006, Nîmes.
Concordia 05: Sophie Demassey 2005 Resolution search and intelligent backtrackings invited seminar, University of Concordia, Montréal, Canada.
CRT 05: Sophie Demassey 2005 Resolution search et backtrackings intelligents invited seminar, CRT-Université de Montréal, Canada.
JOPT 05: Sophie Demassey, Gilles Pesant, Louis-Martin Rousseau 2005 Constraint programming based column generation for employee timetabling Optimization Days (JOPT'05), 9 - 11 mai 2005, Montréal, Canada.
ROADEF 05: Thierry Garaix, Christian Artigues et Sophie Demassey 2005 Bornes basées sur les ensembles interdits pour le problème d'ordonnancement de projet à moyens limités 6ème congrès de la société française de recherche opérationnelle et d'aide à la décision (ROADEF'05), 14-16 février 2005, Tours.
EARO 03: Sophie Demassey, Serigne Gueye, Philippe Michelon, Christian Artigues 2003 Application de resolution search au RCPSP École d'Automne de Recherche Opérationnelle (EARO'03), 28-31 octobre 2003, Tours.
PM 03: Sophie Demassey 2003 Resolution search et backtrackings intelligents invited seminar, 1ère journée du GDT Programmation Mathématique, 5 décembre 2003, Paris.
OR 02: Christian Artigues, Sophie Demassey, Philippe Michelon 2002 A hybrid constraint propagation-cutting plane algorithm for the RCPSP International Conference on Operations Research (OR'02), 2-5 septembre 2002, Klagenfurt, Germany.
ROADEF 02: Sophie Demassey, Christian Artigues, Philippe Michelon 2002 Bornes inférieures pour le RCPSP : une approche hybride propagation de contraintes - programmation linéaire 4ème congrès de la société française de recherche opérationnelle et d'aide à la décision (ROADEF'02), 20-22 février 2002, Paris, Proc. p.105-106.
CIRO 02: Philippe Michelon, Sophie Demassey, Christian Artigues 2002 Bornes inférieures pour le RCPSP : une approche hybride PPC/PL 3ème Conférence Internationale de Recherche Opérationnelle (CIRO'02), Marrakech.
FRANCORO 01: Sophie Demassey, Christian Artigues, Philippe Michelon 2001 Bornes inférieures pour le problème d'ordonnancement de projet à contraintes de ressources 3èmes Journées Francophones de Recherche Opérationnelle (Francoro'01), Québec.
ISMP 00: Christian Artigues, Sophie Demassey, Philippe Michelon 2000 A linear programming based approach for resource constrained project scheduling International Symposium on Mathematical Programming (ISMP'00), 2000, Atlanta, U.S.A.

PhD and MSc. thesis

PhD 03: Sophie Demassey 2003 Méthodes hybrides de programmation par contraintes et programmation linéaire pour le problème d'ordonnancement de projet à contraintes de ressources Thèse de doctorat en Informatique - Optimisation Combinatoire, Université d'Avignon, soutenue le 18 décembre 2003.
download: .pdf (hyperref, 1.2 MB), .ps.gz (792 KB)
MsC 00: Sophie Demassey 2000 Borne inférieure pour l'ordonnancement de projet à moyens limités Mémoire de DEA en Informatique - Optimisation Combinatoire, Université d'Aix-Marseille II, 2000.
MsC 98: Sophie Demassey 1998 Élasticité dans les anneaux de Dedekind Mémoire de DEA en Mathématiques Fondamentales - Algèbre Commutative, Université d'Aix-Marseille I, 1998.

sophie demassey