Sophie Demassey

dblp:26/2237 · DBLP profile ↗
← Back
9ranked-venue papers
3as first author
1since 2021 · last 2024
0000-0002-4272-6278ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 6 · 2 first-author · 1 since 2021Software engineering, systems software and programming languages · 2Theory of computation · 2 · 2 first-author · 1 since 2021Systems, architecture and hardware · 1
YearPublicationVenuePosition
2024 Alternating Direction Method and Deep Learning for Discrete Control with Storage
Sophie Demassey, Valentina Sessa, Amirhossein Tavakoli
ISCO1
2019 Extended linear formulation of the pump scheduling problem in water distribution networks
abstract
International audience
Gratien Bonvin, Sophie Demassey
INOC2
2017 Scaling Energy Adaptive Applications for Sustainable Profitability
Fabien Hermenier, Giovanni Giuliani, Andre Milani, Sophie Demassey
Euro-Par4
2012 The Conjunction of Interval Among Constraints
Gilles Chabert, Sophie Demassey
CPAIOR2
2011 Bin Repacking Scheduling in Virtualized Datacenters
Fabien Hermenier, Sophie Demassey, Xavier Lorca
CP2
2009 Sequencing and Counting with the multicost-regular Constraint
Julien Menana, Sophie Demassey
CPAIOR2
2006 Graph Properties Based Filtering
Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit
CP3
2005 Constraint Programming Based Column Generation for Employee Timetabling
Sophie Demassey, Gilles Pesant, Louis-Martin Rousseau
CPAIOR1
2005 Constraint-Propagation-Based Cutting Planes: An Application to the Resource-Constrained Project Scheduling Problem
abstract
We propose a cooperation method between constraint programming and integer programming to compute lower bounds for the resource-constrained project scheduling problem (RCPSP). The lower bounds are evaluated through linear-programming (LP) relaxations of two different integer linear formulations. Efficient resource-constraint propagation algorithms serve as a preprocessing technique for these relaxations. The originality of our approach is to use additionally some deductions performed by constraint propagation, and particularly by the shaving technique, to derive new cutting planes that strengthen the linear programs. Such new valid linear inequalities are given in this paper, as well as a computational analysis of our approach. Through this analysis, we also compare the two considered linear formulations for the RCPSP and confirm the efficiency of lower bounds computed in a destructive way.
Sophie Demassey, Christian Artigues, Philippe Michelon
INFORMS J. Comput.1