Yves Deville : PhD Students
Ongoing PhD Theses
- Hélène Verhaeghe
(2015 - , co-directed with Pierre Schaus).
- HA Quang Minh
(2015 - , co-directed with Pham Quang Dung).
- KHONG Minh Thanh
(2015 - , co-directed with Christophe Lecoutre).
- François Aubry
(2013 - , co-directed with Olivier Bonaventure).
- Michael Saint-Guillain
(2013 - , co-directed with Christine Solnon).
Completed PhD Theses
- 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
- 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
- Trong-Viet Ho,
Traffic engineering techniques for data center
(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
- 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
- Stéphane Zampelli,
A Constraint Programming Approach to Subgraph Isomorphism
- 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
- Nguyen Tran Sy,
Consistency Techniques for Test Data Generation
- 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
- Pierre Flener,
Logic Algorithm Synthesis from Examples and Properties