 | 2009 |
|---|
| 14 |       | Alexandre Goldsztejn,
Claude Michel,
Michel Rueher:
Efficient handling of universally quantified inequalities.
Constraints 14(1): 117-135 (2009) |
| 2008 |
|---|
| 13 | | 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 | | Alexandre Goldsztejn,
Claude Michel,
Michel Rueher:
An efficient algorithm for a sharp approximation of universally quantified inequalities.
SAC 2008: 134-139 |
| 11 | | Alexandre Goldsztejn,
Claude Michel,
Michel Rueher:
An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities
CoRR abs/0807.2269: (2008) |
| 10 | | 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 | | 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 | | Bernard Botella,
Arnaud Gotlieb,
Claude Michel:
Symbolic execution of floating-point computations.
Softw. Test., Verif. Reliab. 16(2): 97-121 (2006) |
| 2005 |
|---|
| 7 | | Heikel Batnini,
Claude Michel,
Michel Rueher:
Mind the Gaps: A New Splitting Strategy for Consistency Techniques.
CP 2005: 77-91 |
| 6 | | Yahia Lebbah,
Claude Michel,
Michel Rueher:
A Rigorous Global Filtering Algorithm for Quadratic Constraints*.
Constraints 10(1): 47-65 (2005) |
| 2003 |
|---|
| 5 | | Yahia Lebbah,
Claude Michel,
Michel Rueher:
Efficient Pruning Technique Based on Linear Relaxations.
COCOS 2003: 1-14 |
| 2002 |
|---|
| 4 | | Claude Michel:
Exact Projection Functions for Floating Point Number Constraints (pdf).
AMAI 2002 |
| 3 | | Yahia Lebbah,
Michel Rueher,
Claude Michel:
A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations.
CP 2002: 109-123 |
| 2 | | 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 | | Claude Michel,
Michel Rueher,
Yahia Lebbah:
Solving Constraints over Floating-Point Numbers.
CP 2001: 524-538 |
