Laurent Granvilliers

发表

Certified Parallelotope Continuation for One-Manifolds

Alexandre Goldsztejn, Benjamin Martin, Laurent Granvilliers, 2013, SIAM J. Numer. Anal..

Accelerating Consistency Techniques and Prony's Method for Reliable Parameter Estimation of Exponential Sums

Jürgen Garloff, Laurent Granvilliers, Andrew P. Smith, 2003, COCOS.

A New Interval Contractor Based on Optimality Conditions for Bound Constrained Global Optimization

Laurent Granvilliers, Laurent Granvilliers, 2018, 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI).

Interval Constraints: Results and Perspectives

Frédéric Goualard, Frédéric Benhamou, Laurent Granvilliers, 1999, New Trends in Constraints.

Search heuristics for constraint-aided embodiment design

Laurent Granvilliers, Raphaël Chenouard, Patrick Sébastian, 2009, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic

Martine Ceberio, Laurent Granvilliers, 2000, AISC.

A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions

Alexandre Goldsztejn, Laurent Granvilliers, 2008, CP.

An Extension of the WAM for Hybrid Interval Solvers

Frédéric Goualard, Frédéric Benhamou, Laurent Granvilliers, 1999, J. Funct. Log. Program..

Composition Operators for Constraint Propagation: An Application to Choco

Eric Monfroy, Laurent Granvilliers, 2001, CP.

Transformations symboliques et consistance de bloc de CSP continus

Laurent Granvilliers, 1997, JFPLC.

Stratégies de résolution de CSP numériques

Laurent Granvilliers, 1999, JFPLC.

Robust controller and pre-filter design using QFT and interval constraint techniques

Frédéric Goualard, Alexandre Goldsztejn, Bhagyesh V. Patil, 2014 .

Constraint Propagation: Between Abstract Models and ad hoc Strategies

Eric Monfroy, Laurent Granvilliers, 2000, CP.

Adaptive Bisection of Numerical CSPs

Laurent Granvilliers, 2012, CP.

Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques

Laurent Granvilliers, Raphaël Chenouard, Patrick Sébastian, 2007, CP.

Résolution de systèmes non linéaires par inversion des contraintes et analyse par intervalles

Martine Ceberio, Laurent Granvilliers, 2000, JFPLC.

Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques

Laurent Granvilliers, Mina Ouabiba, Mina Ouabiba, 2004, AISC.

On the Definition of a Standard Language for Modelling Constraint Satisfaction Problems

Laurent Granvilliers, Ricardo Soto, 2008 .

Constraint propagation using dominance in interval Branch & Bound for nonlinear biobjective optimization

Alexandre Goldsztejn, Benjamin Martin, Laurent Granvilliers, 2017, Eur. J. Oper. Res..

On the Pursuit of a Standard Language for Object-Oriented Constraint Modeling

Ricardo Soto, Laurent Granvilliers, 2008, New Challenges in Applied Intelligence Technologies.

Interval Tests and Contractors Based on Optimality Conditions for Bound-Constrained Global Optimization

Laurent Granvilliers, Laurent Granvilliers, 2020, Int. J. Artif. Intell. Tools.

On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach

Alexandre Goldsztejn, Benjamin Martin, Laurent Granvilliers, 2014, Journal of Global Optimization.

Enhancing Constraint Propagation with Composition Operators

Eric Monfroy, Laurent Granvilliers, 2001, ArXiv.

Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving

Frédéric Benhamou, Laurent Granvilliers, 1997, Reliab. Comput..

Horner's Rule for Interval Evaluation Revisited

Martine Ceberio, Laurent Granvilliers, 2002, Computing.

Quelques applications de la propagation de contraintes sur les domaines continus en automatique

Marc Christie, Luc Jaulin, Laurent Granvilliers, 2002, JFPLC.

Tuning Constrained Objects

Ricardo Soto, Laurent Granvilliers, 2008, IEA/AIE.

Parameter Estimation Using Interval Computations

Pedro Barahona, Laurent Granvilliers, Jorge Cruz, 2005, SIAM J. Sci. Comput..

Rewriting Constraint Models with Metamodels pdf

Ricardo Soto, Laurent Granvilliers, Raphaël Chenouard, 2009, SARA.

On continuation methods for non-linear multi-objective optimization

Alexandre Goldsztejn, Laurent Granvilliers, Christophe Jermann, 2013 .

Towards Cooperative Interval Narrowing

Laurent Granvilliers, Laurent Granvilliers, 2000, FroCoS.

Modélisation déclarative de stratégies de propagation de contraintes

Eric Monfroy, Laurent Granvilliers, 2000, JFPLC.

Contribution aux techniques de satisfaction de contraintes par combinaison de termes non linéaires

Laurent Granvilliers, Mina Ouabiba, M. Ouabiba, 2004, Journées Francophones de Programmation Logique par Contraintes.

Progress in the Solving of a Circuit Design Problem

Frédéric Benhamou, Laurent Granvilliers, 2001, J. Glob. Optim..

Directional Consistency for Continuous Numerical Constraints

Frédéric Goualard, Laurent Granvilliers, 2004, ArXiv.

On the Combination of Interval Constraint Solvers

Laurent Granvilliers, Laurent Granvilliers, 2001, Reliab. Comput..

The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models

Ricardo Soto, Laurent Granvilliers, 2007, 19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007).

A Symbolic-Numerical Branch and Prune Algorithm for Solving Non-linear Polynomial Systems

Laurent Granvilliers, 1998, J. Univers. Comput. Sci..

Controlled propagation in continuous numerical constraint networks

Frédéric Goualard, Laurent Granvilliers, 2005, SAC '05.

Declarative Modelling of Constraint Propagation Strategies

Eric Monfroy, Laurent Granvilliers, 2000, ADVIS.

Modeling Camera Control with Constrained Hypertubes

Marc Christie, Laurent Granvilliers, Éric Languénou, 2002, CP.

Model-driven constraint programming

Ricardo Soto, Laurent Granvilliers, Raphaël Chenouard, 2008, PPDP.

Algorithms for Solving Non-Linear Constrained and Optimization Problems: The State of The Art

Etienne Huens, Arnold Neumaier, Eric Monfroy, 2001 .

A new framework for sharp and efficient resolution of NCSP with manifolds of solutions

Alexandre Goldsztejn, Laurent Granvilliers, 2009, Constraints.

Revising Hull and Box Consistency

Frédéric Goualard, Jean-François Puget, Frédéric Benhamou, 1999, ICLP.

Filtering Domains of Factorable Functions Using Interval Contractors

Laurent Granvilliers, Laurent Granvilliers, 2019, WCGO.

Some Interval Approximation Techniques for MINLP

Laurent Granvilliers, Nicolas Berger, 2009, SARA.

Novel Approaches to Numerical Software with Result Verification

Vladik Kreinovich, Norbert Th. Müller, Laurent Granvilliers, 2004, Numerical Software with Result Verification.

Continuous and Interval Constraints

Frédéric Benhamou, Laurent Granvilliers, F. Benhamou, 2006, Handbook of Constraint Programming.

Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques

Frédéric Benhamou, Laurent Granvilliers, F. Benhamou, 2006, TOMS.

Mixed CSP Techniques Applied to Embodiment Design

Patrick Sebastian, Laurent Granvilliers, Raphael Chenouard, 2006 .

Simultaneous automated design of structured QFT controller and prefilter using nonlinear programming

Frédéric Goualard, Alexandre Goldsztejn, Bhagyesh V. Patil, 2017 .

Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems

Alexandre Goldsztejn, Laurent Granvilliers, Christophe Jermann, 2013, CP.

Symbolic-interval cooperation in constraint programming

Eric Monfroy, Frédéric Benhamou, Laurent Granvilliers, 2001, ISSAC '01.

The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models

Laurent Granvilliers, Ricardo Soto, 2007 .

Box consistency through weak box consistency

Frédéric Goualard, Frédéric Benhamou, Laurent Granvilliers, 1999, Proceedings 11th International Conference on Tools with Artificial Intelligence.

High-Level Modeling of Component-Based CSPs

Ricardo Soto, Laurent Granvilliers, Raphaël Chenouard, 2010, SBIA.

A Graphical Interface for Solver Cooperations

Eric Monfroy, Laurent Granvilliers, 2001, Ershov Memorial Conference.

Implementing Constraint Propagation by Composition of Reductions

Eric Monfroy, Laurent Granvilliers, É. Monfroy, 2003, ICLP.

Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods

Martine Ceberio, Laurent Granvilliers, M. Ceberio, 2002, FroCoS.

Constraints and Design

Laurent Granvilliers, 2005 .

Using ATL to define advanced and flexible constraint model transformations pdf

Ricardo Soto, Laurent Granvilliers, Raphaël Chenouard, 2010, ArXiv.

A conservative scheme for parallel interval narrowing

Gaétan Hains, Laurent Granvilliers, G. Hains, 2000, Inf. Process. Lett..

Combining Local Consistency, Symbolic Rewriting and Interval Methods

Frédéric Benhamou, Laurent Granvilliers, 1996, AISMC.

Méthode de continuation par parallélépipèdes : application à l'optimisation globale continue bi-objectif

Alexandre Goldsztejn, Laurent Granvilliers, Christophe Jermann, 2012 .

Search Heuristics for Constraints-Aided Design

Patrick Sebastian, Laurent Granvilliers, Raphael Chenouard, 2009 .

An interval component for continuous constraints

Laurent Granvilliers, Laurent Granvilliers, 2004 .