Laurent Granvilliers

59 papers A 7B 5C 2Misc 3Journal 21Unranked 19
YearRankTypeTitle / Venue / Authors
2026 J jnl
RealPaver 1.1: A C++ Library for Constraint Programming over Numeric or Mixed Discrete-Continuous Domains.
J. Open Source Softw.
Raphaël Chenouard, Laurent Granvilliers
2020 J jnl
Interval Tests and Contractors Based on Optimality Conditions for Bound-Constrained Global Optimization.
Int. J. Artif. Intell. Tools
Laurent Granvilliers
2019 — conf
Filtering Domains of Factorable Functions Using Interval Contractors.
WCGO
Laurent Granvilliers
2018 B conf
A New Interval Contractor Based on Optimality Conditions for Bound Constrained Global Optimization.
ICTAI
Laurent Granvilliers
2017 J jnl
Constraint propagation using dominance in interval Branch & Bound for nonlinear biobjective optimization.
Eur. J. Oper. Res.
Benjamin Martin, Alexandre Goldsztejn, Laurent Granvilliers, Christophe Jermann
2016 J jnl
On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach.
J. Glob. Optim.
Benjamin Martin, Alexandre Goldsztejn, Laurent Granvilliers, Christophe Jermann
2013 J jnl
Certified Parallelotope Continuation for One-Manifolds.
SIAM J. Numer. Anal.
Benjamin Martin, Alexandre Goldsztejn, Laurent Granvilliers, Christophe Jermann
2013 A conf
Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems.
CP
Alexandre Goldsztejn, Laurent Granvilliers, Christophe Jermann
2012 A conf
Adaptive Bisection of Numerical CSPs.
CP
Laurent Granvilliers
2010 J jnl
A new framework for sharp and efficient resolution of NCSP with manifolds of solutions.
Constraints An Int. J.
Alexandre Goldsztejn, Laurent Granvilliers
2010 — conf
High-Level Modeling of Component-Based CSPs.
SBIA
Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto
2010 J jnl
Model-Driven Constraint Programming
CoRR
Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto
2010 J jnl
Rewriting Constraint Models with Metamodels
CoRR
Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto
2010 J jnl
Using ATL to define advanced and flexible constraint model transformations
CoRR
Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto
2009 — conf
Rewriting Constraint Models with Metamodels.
SARA
Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto
2009 J jnl
Search heuristics for constraint-aided embodiment design.
Artif. Intell. Eng. Des. Anal. Manuf.
Raphaël Chenouard, Laurent Granvilliers, Patrick Sébastian
2009 — conf
Some Interval Approximation Techniques for MINLP.
SARA
Nicolas Berger, Laurent Granvilliers
2008 A conf
A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions.
CP
Alexandre Goldsztejn, Laurent Granvilliers
2008 C conf
Model-driven constraint programming.
PPDP
Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto
2008 — ch.
On the Pursuit of a Standard Language for Object-Oriented Constraint Modeling.
New Challenges in Applied Intelligence Technologies
Ricardo Soto, Laurent Granvilliers
2008 C conf
Tuning Constrained Objects.
IEA/AIE
Ricardo Soto, Laurent Granvilliers
2007 A conf
Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques.
CP
Raphaël Chenouard, Patrick Sébastian, Laurent Granvilliers
2007 — conf
The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models.
ICTAI (1)
Ricardo Soto, Laurent Granvilliers
2006 J jnl
Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques.
ACM Trans. Math. Softw.
Laurent Granvilliers, Frédéric Benhamou
2006 — ch.
Continuous and Interval Constraints.
Handbook of Constraint Programming
Frédéric Benhamou, Laurent Granvilliers
2005 Misc conf
Controlled propagation in continuous numerical constraint networks.
SAC
Frédéric Goualard, Laurent Granvilliers
2004 Misc conf
Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques.
AISC
Laurent Granvilliers, Mina Ouabiba
2004 — conf
Contribution aux techniques de satisfaction de contraintes par combinaison de termes non linéaires.
JFPLC
Laurent Granvilliers, Mina Ouabiba
2004 J jnl
Directional Consistency for Continuous Numerical Constraints
CoRR
Frédéric Goualard, Laurent Granvilliers
2004 J jnl
Parameter Estimation Using Interval Computations.
SIAM J. Sci. Comput.
Laurent Granvilliers, Jorge Cruz, Pedro Barahona
2003 — conf
Accelerating Consistency Techniques and Prony's Method for Reliable Parameter Estimation of Exponential Sums.
COCOS
Jürgen Garloff, Laurent Granvilliers, Andrew P. Smith
2003 B conf
Implementing Constraint Propagation by Composition of Reductions.
ICLP
Laurent Granvilliers, Éric Monfroy
2003 — conf
Novel Approaches to Numerical Software with Result Verification.
Numerical Software with Result Verification
Laurent Granvilliers, Vladik Kreinovich, Norbert Th. Müller
2002 J jnl
Horner's Rule for Interval Evaluation Revisited.
Computing
Martine Ceberio, Laurent Granvilliers
2002 A conf
Modeling Camera Control with Constrained Hypertubes.
CP
Marc Christie, Éric Languénou, Laurent Granvilliers
2002 — conf
Quelques applications de la propagation de contraintes sur les domaines continus en automatique.
JFPLC
Luc Jaulin, Marc Christie, Laurent Granvilliers
2002 — conf
Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods.
FroCoS
Martine Ceberio, Laurent Granvilliers
2001 — conf
A Graphical Interface for Solver Cooperations.
Ershov Memorial Conference
Laurent Granvilliers, Éric Monfroy
2001 A conf
Composition Operators for Constraint Propagation: An Application to Choco.
CP
Laurent Granvilliers, Éric Monfroy
2001 J jnl
Enhancing Constraint Propagation with Composition Operators
CoRR
Laurent Granvilliers, Éric Monfroy
2001 J jnl
On the Combination of Interval Constraint Solvers.
Reliab. Comput.
Laurent Granvilliers
2001 J jnl
Progress in the Solving of a Circuit Design Problem.
J. Glob. Optim.
Laurent Granvilliers, Frédéric Benhamou
2001 B conf
Symbolic-interval cooperation in constraint programming.
ISSAC
Laurent Granvilliers, Éric Monfroy, Frédéric Benhamou
2000 J jnl
A conservative scheme for parallel interval narrowing.
Inf. Process. Lett.
Laurent Granvilliers, Gaétan Hains
2000 A conf
Constraint Propagation: Between Abstract Models and ad hoc Strategies.
CP
Laurent Granvilliers, Éric Monfroy
2000 — conf
Declarative Modelling of Constraint Propagation Strategies.
ADVIS
Laurent Granvilliers, Éric Monfroy
2000 — conf
Modélisation déclarative de stratégies de propagation de contraintes.
JFPLC
Laurent Granvilliers, Éric Monfroy
2000 — conf
Résolution de systèmes non linéaires par inversion des contraintes et analyse par intervalles.
JFPLC
Martine Ceberio, Laurent Granvilliers
2000 Misc conf
Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic.
AISC
Martine Ceberio, Laurent Granvilliers
2000 — conf
Towards Cooperative Interval Narrowing.
FroCoS
Laurent Granvilliers
1999 J jnl
An Extension of the WAM for Hybrid Interval Solvers.
J. Funct. Log. Program.
Frédéric Goualard, Frédéric Benhamou, Laurent Granvilliers
1999 B conf
Box Consistency through Weak Box Consistency.
ICTAI
Laurent Granvilliers, Frédéric Goualard, Frédéric Benhamou
1999 — conf
Interval Constraints: Results and Perspectives.
New Trends in Constraints
Frédéric Benhamou, Laurent Granvilliers, Frédéric Goualard
1999 B conf
Revising Hull and Box Consistency.
ICLP
Frédéric Benhamou, Frédéric Goualard, Laurent Granvilliers, Jean-Francois Puget
1999 — conf
Stratégies de résolution de CSP numériques.
JFPLC
Laurent Granvilliers
1998 J jnl
A Symbolic-Numerical Branch and Prune Algorithm for Solving Non-linear Polynomial Systems.
J. Univers. Comput. Sci.
Laurent Granvilliers
1997 J jnl
Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving.
Reliab. Comput.
Frédéric Benhamou, Laurent Granvilliers
1997 — conf
Transformations symboliques et consistance de bloc de CSP continus.
JFPLC
Laurent Granvilliers
1996 — conf
Combining Local Consistency, Symbolic Rewriting and Interval Methods.
AISMC
Frédéric Benhamou, Laurent Granvilliers