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).