Yves Deville

PhD Students

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