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