|
Julien Dupuis |
|
|
Jean-Noël Monette |
 Solving Scheduling Problems from High-Level Models |
|
Florence Massen |
thesis-massen.pdf |
|
Luis Quesada |
Solving Constrained Graph Problems using Reachability Constraints based on Transitive Closure and Dominators |
|
Stéphane Zampelli |
A Constraint Programming Approach to Subgraph Isomorphism |
|
Grégoire Dooms |
The CP(Graph) Computation Domain in Constraint Programming |
|
Sébastien Vast |
|
|
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 |
|
Eric Poupaert |
|
