Yves Deville : PhD Students
PhD Theses
François Aubry
Model and Algorithms for Network Optimization with Segment Routing
(2020, co-directed with Olivier Bonaventure).
HA Quang Minh,
The Traveling Salesman Problem with Drone
(2019, co-directed with Pham Quang Dung).
KHONG Minh Thanh
Algorithms for Table Constraints and Soft-regular Constraints
(2019, co-directed with Christophe Lecoutre).
Michael Saint-Guillain,
Models and Algorithms for Online Stochastic Vehicle Routing Problems
(2019, co-directed with Christine Solnon).
Cyrille Dejemeppe,
Constraint Programming Algorithms and Models for Scheduling Applications
(2016, co-directed with Pierre Schaus)
BUI Quoc Trung,
Modelling and solving complex combinatorial optimization problems: quorumcast routing,
elementary shortest path, elementary longest
path and agricultural land allocation
(2015, co-directed with Pham Quang Dung)
Jean-Baptiste Mairy,
Propagators for Table Constraints
(2015)
Vianney le Clément,
Castor: a Constraint-based SPARQL Engine
with Active Filter Processing
(2013, co-directed with Christine Solnon)
Florence Massen,
Optimization Approaches for Vehicle Routing Problems with Black Box Feasibility
(2013)
Trong-Viet Ho,
Traffic engineering techniques for data center
networks
(2012, co-directed with Oliver Bonaventure).
Sébastien Mouthuy,
Constraint-based very Large-Scale Neighborhood Search
(2011, co-directed with Pascal Van Hentenryck).
Pham Quang Dung,
LS(Graph): A constraint-based local search framework for constrainted optimum tree and path problems on graphs
(2011).
Jean-Noël Monette,
Solving Scheduling Problems from High-Level Models
(2010, co-directed with Pascal Van Hentenryck).
Pierre Schaus,
Solving Balancing and Bin-Packing Problems with Constraint Programming
(2009).
Stéphane Zampelli,
A Constraint Programming Approach to Subgraph Isomorphism
(2008).
Luis Quesada,
Solving Constrained Graph Problems using Reachability Constraints based on Transitive Closure and Dominators
(2006, co-directed with Peter Van Roy).
Grégoire Dooms,
The CP(Graph) Computation Domain in Constraint Programming
(2006).
Nguyen Tran Sy,
Consistency Techniques for Test Data Generation
(2005).
Micha Janssen,
A Constraint Satisfaction Approach for Enclosing Solutions to Initial Value Problem for Parametric ODEs
(2001, co-directed with Pascal Van Hentenryck).
Vincent Lombart,
Reasoning with Relations in Inductive Proofs
(1996).
Pierre Flener,
Logic Algorithm Synthesis from Examples and Properties
(1993).