| 2008 |
|---|
| 13 | EE | Alexandre Goldsztejn,
Yahia Lebbah,
Claude Michel,
Michel Rueher:
Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm.
CP 2008: 598-602 |
| 12 | EE | Alexandre Goldsztejn,
Claude Michel,
Michel Rueher:
An efficient algorithm for a sharp approximation of universally quantified inequalities.
SAC 2008: 134-139 |
| 11 | EE | Alexandre Goldsztejn,
Claude Michel,
Michel Rueher:
An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities
CoRR abs/0807.2269: (2008) |
| 10 | EE | Alexandre Goldsztejn,
Yahia Lebbah,
Claude Michel,
Michel Rueher:
Revisiting the upper bounding process in a safe Branch and Bound algorithm
CoRR abs/0807.2382: (2008) |
| 2007 |
|---|
| 9 | EE | Yahia Lebbah,
Claude Michel,
Michel Rueher:
Using constraint techniques for a safe and fast implementation of optimality-based reduction.
SAC 2007: 326-331 |
| 2006 |
|---|
| 8 | EE | Bernard Botella,
Arnaud Gotlieb,
Claude Michel:
Symbolic execution of floating-point computations.
Softw. Test., Verif. Reliab. 16(2): 97-121 (2006) |
| 2005 |
|---|
| 7 | EE | Heikel Batnini,
Claude Michel,
Michel Rueher:
Mind the Gaps: A New Splitting Strategy for Consistency Techniques.
CP 2005: 77-91 |
| 6 | EE | Yahia Lebbah,
Claude Michel,
Michel Rueher:
A Rigorous Global Filtering Algorithm for Quadratic Constraints*.
Constraints 10(1): 47-65 (2005) |
| 2003 |
|---|
| 5 | EE | Yahia Lebbah,
Claude Michel,
Michel Rueher:
Efficient Pruning Technique Based on Linear Relaxations.
COCOS 2003: 1-14 |
| 2002 |
|---|
| 4 | EE | Claude Michel:
Exact Projection Functions for Floating Point Number Constraints (pdf).
AMAI 2002 |
| 3 | EE | Yahia Lebbah,
Michel Rueher,
Claude Michel:
A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations.
CP 2002: 109-123 |
| 2 | EE | Bernard Botella,
Arnaud Gotlieb,
Claude Michel,
Michel Rueher,
Patrick Taillibert:
Utilisation des contraintes pour la génération automatique de cas de test structurels.
Technique et Science Informatiques 21(9): 1163-1187 (2002) |
| 2001 |
|---|
| 1 | EE | Claude Michel,
Michel Rueher,
Yahia Lebbah:
Solving Constraints over Floating-Point Numbers.
CP 2001: 524-538 |
