Combining Local Consistency, Symbolic Rewriting and Interval Methods. - Frédéric Benhamou; Laurent Granvilliers (AISMC, 1996)

Transformations symboliques et consistance de bloc de CSP continus. - Laurent Granvilliers (JFPLC, 1997)

Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving. - Frédéric Benhamou; Laurent Granvilliers (Reliab. Comput., 1997)

A Symbolic-Numerical Branch and Prune Algorithm for Solving Non-linear Polynomial Systems. - Laurent Granvilliers (J. Univers. Comput. Sci., 1998)

Interval Constraints: Results and Perspectives. - Frédéric Benhamou; Laurent Granvilliers; Frédéric Goualard (New Trends in Constraints, 1999)

Revising Hull and Box Consistency. - Frédéric Benhamou; Frédéric Goualard; Laurent Granvilliers; Jean-Francois Puget (ICLP, 1999)

Box Consistency through Weak Box Consistency. - Laurent Granvilliers; Frédéric Goualard; Frédéric Benhamou (ICTAI, 1999)

Stratégies de résolution de CSP numériques. - Laurent Granvilliers (JFPLC, 1999)

An Extension of the WAM for Hybrid Interval Solvers. - Frédéric Goualard; Frédéric Benhamou; Laurent Granvilliers (J. Funct. Log. Program., 1999)

Declarative Modelling of Constraint Propagation Strategies. - Laurent Granvilliers; Éric Monfroy (ADVIS, 2000)

Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic. - Martine Ceberio; Laurent Granvilliers (AISC, 2000)

Constraint Propagation: Between Abstract Models and ad hoc Strategies. - Laurent Granvilliers; Éric Monfroy (CP, 2000)

Towards Cooperative Interval Narrowing. - Laurent Granvilliers (FroCoS, 2000)

Résolution de systèmes non linéaires par inversion des contraintes et analyse par intervalles. - Martine Ceberio; Laurent Granvilliers (JFPLC, 2000)

Modélisation déclarative de stratégies de propagation de contraintes. - Laurent Granvilliers; Éric Monfroy (JFPLC, 2000)

A conservative scheme for parallel interval narrowing. - Laurent Granvilliers; Gaétan Hains (Inf. Process. Lett., 2000)

Composition Operators for Constraint Propagation: An Application to Choco. - Laurent Granvilliers; Éric Monfroy (CP, 2001)

A Graphical Interface for Solver Cooperations. - Laurent Granvilliers; Éric Monfroy (Ershov Memorial Conference, 2001)

Symbolic-interval cooperation in constraint programming. - Laurent Granvilliers; Éric Monfroy; Frédéric Benhamou (ISSAC, 2001)

Enhancing Constraint Propagation with Composition Operators - Laurent Granvilliers; Éric Monfroy (CoRR, 2001)

Progress in the Solving of a Circuit Design Problem. - Laurent Granvilliers; Frédéric Benhamou (J. Glob. Optim., 2001)

On the Combination of Interval Constraint Solvers. - Laurent Granvilliers (Reliab. Comput., 2001)

Modeling Camera Control with Constrained Hypertubes. - Marc Christie; Éric Languénou; Laurent Granvilliers (CP, 2002)

Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods. - Martine Ceberio; Laurent Granvilliers (FroCoS, 2002)

Quelques applications de la propagation de contraintes sur les domaines continus en automatique. - Luc Jaulin; Marc Christie; Laurent Granvilliers (JFPLC, 2002)

Horner's Rule for Interval Evaluation Revisited. - Martine Ceberio; Laurent Granvilliers (Computing, 2002)

Accelerating Consistency Techniques and Prony's Method for Reliable Parameter Estimation of Exponential Sums. - Jürgen Garloff; Laurent Granvilliers; Andrew P. Smith 001 (COCOS, 2003)

Novel Approaches to Numerical Software with Result Verification. - Laurent Granvilliers; Vladik Kreinovich; Norbert Th. Müller (Numerical Software with Result Verification, 2003)

Implementing Constraint Propagation by Composition of Reductions. - Laurent Granvilliers; Éric Monfroy (ICLP, 2003)

Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques. - Laurent Granvilliers; Mina Ouabiba (AISC, 2004)

Contribution aux techniques de satisfaction de contraintes par combinaison de termes non linéaires. - Laurent Granvilliers; Mina Ouabiba (JFPLC, 2004)

Directional Consistency for Continuous Numerical Constraints - Frédéric Goualard; Laurent Granvilliers (CoRR, 2004)

Parameter Estimation Using Interval Computations. - Laurent Granvilliers; Jorge Cruz 001; Pedro Barahona (SIAM J. Sci. Comput., 2004)

Controlled propagation in continuous numerical constraint networks. - Frédéric Goualard; Laurent Granvilliers (SAC, 2005)

Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques. - Laurent Granvilliers; Frédéric Benhamou (ACM Trans. Math. Softw., 2006)

Continuous and Interval Constraints. - Frédéric Benhamou; Laurent Granvilliers (Handbook of Constraint Programming, 2006)

Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques. - Raphaël Chenouard; Patrick Sébastian; Laurent Granvilliers (CP, 2007)

The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models. - Ricardo Soto 001; Laurent Granvilliers (ICTAI (1), 2007)

Tuning Constrained Objects. - Ricardo Soto 001; Laurent Granvilliers (IEA/AIE, 2008)

Model-driven constraint programming. - Raphaël Chenouard; Laurent Granvilliers; Ricardo Soto 001 (PPDP, 2008)

On the Pursuit of a Standard Language for Object-Oriented Constraint Modeling. - Ricardo Soto 001; Laurent Granvilliers (New Challenges in Applied Intelligence Technologies, 2008)

Some Interval Approximation Techniques for MINLP. - Nicolas Berger; Laurent Granvilliers (SARA, 2009)

Rewriting Constraint Models with Metamodels. - Raphaël Chenouard; Laurent Granvilliers; Ricardo Soto 001 (SARA, 2009)

Search heuristics for constraint-aided embodiment design. - Raphaël Chenouard; Laurent Granvilliers; Patrick Sébastian (Artif. Intell. Eng. Des. Anal. Manuf., 2009)

High-Level Modeling of Component-Based CSPs. - Raphaël Chenouard; Laurent Granvilliers; Ricardo Soto 001 (SBIA, 2010)

A new framework for sharp and efficient resolution of NCSP with manifolds of solutions. - Alexandre Goldsztejn; Laurent Granvilliers (Constraints An Int. J., 2010)

Using ATL to define advanced and flexible constraint model transformations - Raphaël Chenouard; Laurent Granvilliers; Ricardo Soto 001 (CoRR, 2010)

Adaptive Bisection of Numerical CSPs. - Laurent Granvilliers (CP, 2012)

Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems. - Alexandre Goldsztejn; Laurent Granvilliers; Christophe Jermann (CP, 2013)

Certified Parallelotope Continuation for One-Manifolds. - Benjamin Martin 003; Alexandre Goldsztejn; Laurent Granvilliers; Christophe Jermann (SIAM J. Numer. Anal., 2013)

On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach. - Benjamin Martin 003; Alexandre Goldsztejn; Laurent Granvilliers; Christophe Jermann (J. Glob. Optim., 2016)

Constraint propagation using dominance in interval Branch & Bound for nonlinear biobjective optimization. - Benjamin Martin 003; Alexandre Goldsztejn; Laurent Granvilliers; Christophe Jermann (Eur. J. Oper. Res., 2017)

A New Interval Contractor Based on Optimality Conditions for Bound Constrained Global Optimization. - Laurent Granvilliers (ICTAI, 2018)

Filtering Domains of Factorable Functions Using Interval Contractors. - Laurent Granvilliers (WCGO, 2019)

Interval Tests and Contractors Based on Optimality Conditions for Bound-Constrained Global Optimization. - Laurent Granvilliers (Int. J. Artif. Intell. Tools, 2020)