Laurent Granvilliers

Int. J. Artif. Intell. Tools, 2020

2019

Filtering Domains of Factorable Functions Using Interval Contractors.

[BibT_eX]

[DOI]

Proceedings of the Optimization of Complex Systems: Theory, 2019

2018

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2017

2016

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

[BibT_eX]

[DOI]

J. Glob. Optim., 2016

2013

Certified Parallelotope Continuation for One-Manifolds.

[BibT_eX]

[DOI]

SIAM J. Numer. Anal., 2013

Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems.

[BibT_eX]

[DOI]

Alexandre Goldsztejn

Christophe Jermann

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

Adaptive Bisection of Numerical CSPs.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2012

2010

Using ATL to define advanced and flexible constraint model transformations

[BibT_eX]

[DOI]

CoRR, 2010

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

[BibT_eX]

[DOI]

Alexandre Goldsztejn

Constraints An Int. J., 2010

High-Level Modeling of Component-Based CSPs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence - SBIA 2010, 2010

2009

Search heuristics for constraint-aided embodiment design.

[BibT_eX]

[DOI]

Patrick Sébastian

Artif. Intell. Eng. Des. Anal. Manuf., 2009

Rewriting Constraint Models with Metamodels.

[BibT_eX]

[DOI]

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Some Interval Approximation Techniques for MINLP.

[BibT_eX]

[DOI]

Nicolas Berger

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

2008

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

[BibT_eX]

[DOI]

Proceedings of the New Challenges in Applied Intelligence Technologies, 2008

Model-driven constraint programming.

[BibT_eX]

[DOI]

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Tuning Constrained Objects.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Patrick Sébastian

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

Continuous and Interval Constraints.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Constraint Programming, 2006

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

[BibT_eX]

[DOI]

ACM Trans. Math. Softw., 2006

2005

Controlled propagation in continuous numerical constraint networks.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

2004

Parameter Estimation Using Interval Computations.

[BibT_eX]

[DOI]

Jorge Cruz

Pedro Barahona

SIAM J. Sci. Comput., 2004

Directional Consistency for Continuous Numerical Constraints

[BibT_eX]

[DOI]

CoRR, 2004

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

[BibT_eX]

Mina Ouabiba

Proceedings of the Programmation en logique avec contraintes, 2004

Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques.

[BibT_eX]

[DOI]

Mina Ouabiba

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2003

Implementing Constraint Propagation by Composition of Reductions.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 19th International Conference, 2003

Novel Approaches to Numerical Software with Result Verification.

[BibT_eX]

[DOI]

Vladik Kreinovich

Norbert Th. Müller

Proceedings of the Numerical Software with Result Verification, 2003

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

[BibT_eX]

[DOI]

Jürgen Garloff

Andrew P. Smith

Proceedings of the Global Optimization and Constraint Satisfaction, 2003

2002

Horner's Rule for Interval Evaluation Revisited.

[BibT_eX]

[DOI]

Computing, 2002

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

[BibT_eX]

Luc Jaulin

Marc Christie

Proceedings of the Programmation en logique avec contraintes, 2002

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

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

Modeling Camera Control with Constrained Hypertubes.

[BibT_eX]

[DOI]

Marc Christie

Éric Languénou

Proceedings of the Principles and Practice of Constraint Programming, 2002

2001

On the Combination of Interval Constraint Solvers.

[BibT_eX]

[DOI]

Reliab. Comput., 2001

Progress in the Solving of a Circuit Design Problem.

[BibT_eX]

[DOI]

J. Glob. Optim., 2001

Enhancing Constraint Propagation with Composition Operators

[BibT_eX]

[DOI]

CoRR, 2001

Symbolic-interval cooperation in constraint programming.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001

A Graphical Interface for Solver Cooperations.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2001

Composition Operators for Constraint Propagation: An Application to Choco.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2001

2000

A conservative scheme for parallel interval narrowing.

[BibT_eX]

[DOI]

Gaétan Hains

Inf. Process. Lett., 2000

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

[BibT_eX]

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.

[BibT_eX]

Proceedings of the Programmation en logique avec contraintes, 2000

Towards Cooperative Interval Narrowing.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 2000

Constraint Propagation: Between Abstract Models and ad hoc Strategies.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2000

Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2000

Declarative Modelling of Constraint Propagation Strategies.

[BibT_eX]

[DOI]

Proceedings of the Advances in Information Systems, First International Conference, 2000

1999

An Extension of the WAM for Hybrid Interval Solvers.

[BibT_eX]

J. Funct. Log. Program., 1999

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

[BibT_eX]

Proceedings of the JFPLC'99, 1999

Box Consistency through Weak Box Consistency.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence, 1999

Revising Hull and Box Consistency.

[BibT_eX]

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

Interval Constraints: Results and Perspectives.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Contraints, 1999

1998

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

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1998

1997

Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving.

[BibT_eX]

[DOI]

Reliab. Comput., 1997

Transformations symboliques et consistance de bloc de CSP continus.

[BibT_eX]

Proceedings of the JFPLC'97, 1997

1996

Combining Local Consistency, Symbolic Rewriting and Interval Methods.

[BibT_eX]

[DOI]