| 2007 |
|---|
| 36 | EE | Raphaël Chenouard,
Patrick Sébastian,
Laurent Granvilliers:
Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques.
CP 2007: 18-32 |
| 35 | EE | Ricardo Soto,
Laurent Granvilliers:
The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models.
ICTAI (1) 2007: 243-250 |
| 2006 |
|---|
| 34 | EE | Laurent Granvilliers,
Frédéric Benhamou:
Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques.
ACM Trans. Math. Softw. 32(1): 138-156 (2006) |
| 2005 |
|---|
| 33 | EE | Frédéric Goualard,
Laurent Granvilliers:
Controlled propagation in continuous numerical constraint networks.
SAC 2005: 377-382 |
| 2004 |
|---|
| 32 | EE | Laurent Granvilliers,
Mina Ouabiba:
Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques.
AISC 2004: 118-131 |
| 31 | | Laurent Granvilliers,
Mina Ouabiba:
Contribution aux techniques de satisfaction de contraintes par combinaison de termes non linéaires.
JFPLC 2004 |
| 30 | EE | Frédéric Goualard,
Laurent Granvilliers:
Directional Consistency for Continuous Numerical Constraints
CoRR cs.AI/0406025: (2004) |
| 29 | EE | Laurent Granvilliers,
Jorge Cruz,
Pedro Barahona:
Parameter Estimation Using Interval Computations.
SIAM J. Scientific Computing 26(2): 591-612 (2004) |
| 2003 |
|---|
| 28 | EE | Jürgen Garloff,
Laurent Granvilliers,
Andrew P. Smith:
Accelerating Consistency Techniques and Prony's Method for Reliable Parameter Estimation of Exponential Sums.
COCOS 2003: 31-45 |
| 27 | EE | Laurent Granvilliers,
Eric Monfroy:
Implementing Constraint Propagation by Composition of Reductions.
ICLP 2003: 300-314 |
| 26 | EE | Laurent Granvilliers,
Vladik Kreinovich,
Norbert Th. Müller:
Novel Approaches to Numerical Software with Result Verification.
Numerical Software with Result Verification 2003: 274-305 |
| 2002 |
|---|
| 25 | EE | Marc Christie,
Eric Languénou,
Laurent Granvilliers:
Modeling Camera Control with Constrained Hypertubes.
CP 2002: 618-632 |
| 24 | EE | Martine Ceberio,
Laurent Granvilliers:
Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods.
FroCos 2002: 117-131 |
| 23 | | Luc Jaulin,
Marc Christie,
Laurent Granvilliers:
Quelques applications de la propagation de contraintes sur les domaines continus en automatique.
JFPLC 2002: 43- |
| 22 | EE | Martine Ceberio,
Laurent Granvilliers:
Horner's Rule for Interval Evaluation Revisited.
Computing 69(1): 51-81 (2002) |
| 2001 |
|---|
| 21 | EE | Laurent Granvilliers,
Eric Monfroy:
Composition Operators for Constraint Propagation: An Application to Choco.
CP 2001: 600-604 |
| 20 | EE | Laurent Granvilliers,
Eric Monfroy:
A Graphical Interface for Solver Cooperations.
Ershov Memorial Conference 2001: 457-467 |
| 19 | EE | Laurent Granvilliers,
Eric Monfroy,
Frédéric Benhamou:
Symbolic-interval cooperation in constraint programming.
ISSAC 2001: 150-166 |
| 18 | EE | Laurent Granvilliers,
Eric Monfroy:
Enhancing Constraint Propagation with Composition Operators
CoRR cs.AI/0107002: (2001) |
| 17 | EE | Laurent Granvilliers:
On the Combination of Interval Constraint Solvers.
Reliable Computing 7(6): 467-483 (2001) |
| 2000 |
|---|
| 16 | EE | Laurent Granvilliers,
Eric Monfroy:
Declarative Modelling of Constraint Propagation Strategies.
ADVIS 2000: 201-215 |
| 15 | EE | Martine Ceberio,
Laurent Granvilliers:
Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic.
AISC 2000: 127-141 |
| 14 | EE | Laurent Granvilliers,
Eric Monfroy:
Constraint Propagation: Between Abstract Models and ad hoc Strategies.
CP 2000: 505-509 |
| 13 | | Laurent Granvilliers:
Towards Cooperative Interval Narrowing.
FroCos 2000: 18-31 |
| 12 | | Laurent Granvilliers,
Eric Monfroy:
Modélisation déclarative de stratégies de propagation de contraintes.
JFPLC 2000: 109-124 |
| 11 | | Martine Ceberio,
Laurent Granvilliers:
Résolution de systèmes non linéaires par inversion des contraintes et analyse par intervalles.
JFPLC 2000: 205-220 |
| 10 | EE | Laurent Granvilliers,
Gaétan Hains:
A conservative scheme for parallel interval narrowing.
Inf. Process. Lett. 74(3-4): 141-146 (2000) |
| 1999 |
|---|
| 9 | | Frédéric Benhamou,
Frédéric Goualard,
Laurent Granvilliers,
Jean-Francois Puget:
Revising Hull and Box Consistency.
ICLP 1999: 230-244 |
| 8 | EE | Laurent Granvilliers,
Frédéric Goualard,
Frédéric Benhamou:
Box Consistency through Weak Box Consistency.
ICTAI 1999: 373-380 |
| 7 | | Laurent Granvilliers:
Stratégies de résolution de CSP numériques.
JFPLC 1999: 221-240 |
| 6 | EE | Frédéric Benhamou,
Laurent Granvilliers,
Frédéric Goualard:
Interval Constraints: Results and Perspectives.
New Trends in Constraints 1999: 1-16 |
| 5 | | Frédéric Goualard,
Frédéric Benhamou,
Laurent Granvilliers:
An Extension of the WAM for Hybrid Interval Solvers.
Journal of Functional and Logic Programming 1999(Special Issue 1): (1999) |
| 1998 |
|---|
| 4 | EE | Laurent Granvilliers:
A Symbolic-Numerical Branch and Prune Algorithm for Solving Non-linear Polynomial Systems.
J. UCS 4(2): 125-146 (1998) |
| 1997 |
|---|
| 3 | | Laurent Granvilliers:
Transformations symboliques et consistance de bloc de CSP continus.
JFPLC 1997: 195-210 |
| 2 | EE | Frédéric Benhamou,
Laurent Granvilliers:
Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving.
Reliable Computing 3(3): 335-344 (1997) |
| 1996 |
|---|
| 1 | | Frédéric Benhamou,
Laurent Granvilliers:
Combining Local Consistency, Symbolic Rewriting and Interval Methods.
AISMC 1996: 144-159 |
