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