Laurent Granvilliers

According to our database1, Laurent Granvilliers authored at least 54 papers between 1996 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Filtering Domains of Factorable Functions Using Interval Contractors.
Proceedings of the Optimization of Complex Systems: Theory, 2019

2018
A New Interval Contractor Based on Optimality Conditions for Bound Constrained Global Optimization.
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

2017
Constraint propagation using dominance in interval Branch & Bound for nonlinear biobjective optimization.
European Journal of Operational Research, 2017

2016
On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach.
J. Global Optimization, 2016

2013
Certified Parallelotope Continuation for One-Manifolds.
SIAM J. Numerical Analysis, 2013

Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems.
Proceedings of the Principles and Practice of Constraint Programming, 2013

2012
Adaptive Bisection of Numerical CSPs.
Proceedings of the Principles and Practice of Constraint Programming, 2012

2010
Using ATL to define advanced and flexible constraint model transformations
CoRR, 2010

A new framework for sharp and efficient resolution of NCSP with manifolds of solutions.
Constraints, 2010

High-Level Modeling of Component-Based CSPs.
Proceedings of the Advances in Artificial Intelligence - SBIA 2010, 2010

2009
Search heuristics for constraint-aided embodiment design.
AI EDAM, 2009

Rewriting Constraint Models with Metamodels.
Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Some Interval Approximation Techniques for MINLP.
Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

2008
On the Pursuit of a Standard Language for Object-Oriented Constraint Modeling.
Proceedings of the New Challenges in Applied Intelligence Technologies, 2008

Model-driven constraint programming.
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Tuning Constrained Objects.
Proceedings of the New Frontiers in Applied Artificial Intelligence, 2008

2007
The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models.
Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007

Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques.
Proceedings of the Principles and Practice of Constraint Programming, 2007

2006
Continuous and Interval Constraints.
Proceedings of the Handbook of Constraint Programming, 2006

Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques.
ACM Trans. Math. Softw., 2006

2005
Controlled propagation in continuous numerical constraint networks.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

2004
Parameter Estimation Using Interval Computations.
SIAM J. Scientific Computing, 2004

Directional Consistency for Continuous Numerical Constraints
CoRR, 2004

Contribution aux techniques de satisfaction de contraintes par combinaison de termes non linéaires.
Proceedings of the Programmation en logique avec contraintes, 2004

Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2003
Implementing Constraint Propagation by Composition of Reductions.
Proceedings of the Logic Programming, 19th International Conference, 2003

Novel Approaches to Numerical Software with Result Verification.
Proceedings of the Numerical Software with Result Verification, 2003

Accelerating Consistency Techniques and Prony's Method for Reliable Parameter Estimation of Exponential Sums.
Proceedings of the Global Optimization and Constraint Satisfaction, 2003

2002
Horner's Rule for Interval Evaluation Revisited.
Computing, 2002

Quelques applications de la propagation de contraintes sur les domaines continus en automatique.
Proceedings of the Programmation en logique avec contraintes, 2002

Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods.
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

Modeling Camera Control with Constrained Hypertubes.
Proceedings of the Principles and Practice of Constraint Programming, 2002

2001
On the Combination of Interval Constraint Solvers.
Reliable Computing, 2001

Progress in the Solving of a Circuit Design Problem.
J. Global Optimization, 2001

Enhancing Constraint Propagation with Composition Operators
CoRR, 2001

Symbolic-interval cooperation in constraint programming.
Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001

A Graphical Interface for Solver Cooperations.
Proceedings of the Perspectives of System Informatics, 2001

Composition Operators for Constraint Propagation: An Application to Choco.
Proceedings of the Principles and Practice of Constraint Programming, 2001

2000
A conservative scheme for parallel interval narrowing.
Inf. Process. Lett., 2000

Modélisation déclarative de stratégies de propagation de contraintes.
Proceedings of the Programmation en logique avec contraintes, 2000

Résolution de systèmes non linéaires par inversion des contraintes et analyse par intervalles.
Proceedings of the Programmation en logique avec contraintes, 2000

Towards Cooperative Interval Narrowing.
Proceedings of the Frontiers of Combining Systems, 2000

Constraint Propagation: Between Abstract Models and ad hoc Strategies.
Proceedings of the Principles and Practice of Constraint Programming, 2000

Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2000

Declarative Modelling of Constraint Propagation Strategies.
Proceedings of the Advances in Information Systems, First International Conference, 2000

1999
An Extension of the WAM for Hybrid Interval Solvers.
Journal of Functional and Logic Programming, 1999

Stratégies de résolution de CSP numériques.
Proceedings of the JFPLC'99, 1999

Box Consistency through Weak Box Consistency.
Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence, 1999

Revising Hull and Box Consistency.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

Interval Constraints: Results and Perspectives.
Proceedings of the New Trends in Contraints, 1999

1998
A Symbolic-Numerical Branch and Prune Algorithm for Solving Non-linear Polynomial Systems.
J. UCS, 1998

1997
Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving.
Reliable Computing, 1997

Transformations symboliques et consistance de bloc de CSP continus.
Proceedings of the JFPLC'97, 1997

1996
Combining Local Consistency, Symbolic Rewriting and Interval Methods.
Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996


  Loading...