Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

38 résultats
Page :
triés par

Implementing Constraint Propagation by Composition of Reductions

 Laurent Granvilliers , Eric Monfroy
Logic Programming: 19th International Conference, ICLP 2003, 2003, India. pp.300--314
Communication dans un congrès hal-00457482v1
Image document

On Continuation Methods for Non-Linear Bi-Objective Optimization: Certified Interval-Based Approach

 Benjamin Martin , Alexandre Goldsztejn , Laurent Granvilliers , Christophe Jermann
2013
Pré-publication, Document de travail hal-00878729v1
Image document

Stratégies de résolution anytime de problèmes de satisfaction de contraintes numériques

 Thomas Richard de Latour , Raphaël Chenouard , Laurent Granvilliers
Journée Francophone de la Programmation par Contrainte, Jun 2021, Nice, France
Communication dans un congrès hal-03563938v1

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

 Benjamin Martin , Alexandre Goldsztejn , Laurent Granvilliers , Christophe Jermann
Journal of Global Optimization, 2014, 64 (1), pp.3-16
Article dans une revue hal-01408595v1

On continuation methods for non-linear multi-objective optimization

 Benjamin Martin , Alexandre Goldsztejn , Christophe Jermann , Laurent Granvilliers
International conference on multiple criteria decision making (MCDM), 2013, Unknown, Unknown Region
Communication dans un congrès hal-01408597v1
Image document

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

 Laurent Granvilliers
International Journal on Artificial Intelligence Tools, 2020, 29 (03n04), pp.2060001. ⟨10.1142/S0218213020600015⟩
Article dans une revue hal-02874694v1
Image document

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

 Luc Jaulin , Marc Christie , Laurent Granvilliers
11e Journées Francophones de Programmation Logique et Programmation par Contraintes (JFPLC 2002), May 2002, Nice, France
Communication dans un congrès hal-00845652v1

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

 Benjamin Martin , Alexandre Goldsztejn , Laurent Granvilliers , Christophe Jermann
Congrès annuel de la société française de recherche opérationnelle et d'aide à la décision (ROADEF), 2012, Unknown, Unknown Region
Communication dans un congrès hal-01408599v1

On the Combination of Interval Constraint Solvers

 Laurent Granvilliers
Reliable Computing, 2001, 7 (6), pp.467--483
Article dans une revue hal-00444121v1
Image document

Using ATL to define advanced and flexible constraint model transformations

 Raphael Chenouard , Laurent Granvilliers , Ricardo Soto
MtATL2009, Jul 2009, Nantes, France. pp.102-118
Communication dans un congrès hal-00456940v1
Image document

Filtering Domains of Factorable Functions using Interval Contractors

 Laurent Granvilliers
World Congress on Global Optimization, Jul 2019, Metz, France
Communication dans un congrès hal-02476009v1
Image document

Search Heuristics for Constraints-Aided Design

 Raphael Chenouard , Laurent Granvilliers , Patrick Sébastian
AI EDAM, 2009, 23 (2), pp.175-195. ⟨10.1017/S0890060409000055⟩
Article dans une revue istex hal-00426706v1

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

 Ricardo Soto , Laurent Granvilliers
New Challenges in Applied Intelligence Technologies, Springer, pp.123-133, 2008, Studies in Computational Intelligence
Chapitre d'ouvrage hal-00480818v1
Image document

Reformulation de problèmes de satisfaction de contraintes basée sur des métamodèles

 Raphaël Chenouard , Laurent Granvilliers , Ricardo Soto
Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.55-65
Communication dans un congrès hal-00387814v1
Image document

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

 Benjamin Martin , Alexandre Goldsztejn , Laurent Granvilliers , Christophe Jermann
European Journal of Operational Research, 2017, 260 (3), pp.934-948. ⟨10.1016/j.ejor.2016.05.045⟩
Article dans une revue hal-01401321v1

Certified Parallelotope Continuation for One-Manifolds

 Benjamin Martin , Alexandre Goldsztejn , Laurent Granvilliers , Christophe Jermann
SIAM Journal on Numerical Analysis, 2013, 51 (6), pp.3373-3401
Article dans une revue hal-01408525v1

An Interval Component for Continuous Constraints

 Laurent Granvilliers
Journal of Computational and Applied Mathematics, 2004, 162 (1), pp.79--92
Article dans une revue hal-00444120v1
Image document

High-Level Modeling of Component-Based CSPs

 Raphael Chenouard , Laurent Granvilliers , Ricardo Soto
20th Brazilian Symposium on Artificial Intelligence, Oct 2010, São Bernardo do Campo, Brazil. pp.233-242, ⟨10.1007/978-3-642-16138-4_24⟩
Communication dans un congrès hal-00542405v1
Image document

Some Interval Approximation Techniques for MINLP

 Nicolas Berger , Laurent Granvilliers
SARA 2009: The Eighth Symposium on Abstraction, Reformulation and Approximation, Jul 2009, Lake Arrowhead, California, United States. pp.26-33
Communication dans un congrès hal-00462786v1
Image document

Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems

 Alexandre Goldsztejn , Laurent Granvilliers , Christophe Jermann
19th International Conference on Principles and Practice of Constraint Programming (CP'13), 2013, Sweden. pp.774-789
Communication dans un congrès hal-00867986v1

Adaptive Bisection of Numerical CSPs

 Laurent Granvilliers
18th international conference on Principles and Practice of Constraint Programming, 2012, Québec City, Canada. pp.290-298
Communication dans un congrès hal-00835211v1
Image document

Model-Driven Constraint Programming

 Raphael Chenouard , Laurent Granvilliers , Ricardo Soto
International Conference on Principles and Practice of Declarative Programming, Jul 2008, Valence, Spain. pp.236-246, ⟨10.1145/1389449.1389479⟩
Communication dans un congrès hal-00456549v1

Continuous and Interval Constraints

 Frédéric Benhamou , Laurent Granvilliers
F. Rossi, P. van Beek and T. Walsh. Handbook of Constraint Programming, Elsevier, pp.571-604, 2006
Chapitre d'ouvrage hal-00480814v1

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

 Ricardo Soto , Laurent Granvilliers
ICTAI, 2007, France. pp.243-250
Communication dans un congrès hal-00480816v1

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

 Laurent Granvilliers
2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2018, Volos, France. pp.90-97
Communication dans un congrès hal-01995939v1

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

 Harsh Purohit , Alexandre Goldsztejn , Frédéric Goualard , Laurent Granvilliers , Christophe Jermann , et al.
International Journal of Robust and Nonlinear Control, 2017, 27 (15), pp.2529-2548. ⟨10.1002/rnc.3695⟩
Article dans une revue hal-01408593v1

Mixed CSP Techniques Applied to Embodiment Design

 Raphael Chenouard , Laurent Granvilliers , Patrick Sébastian
CP 2006 Doctoral Program, Sep 2006, Nantes, France, France. pp.66-71
Communication dans un congrès hal-00426716v1

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

 Laurent Granvilliers , Frédéric Benhamou
ACM Transactions on Mathematical Software, 2006, 32 (1), pp.138-156
Article dans une revue hal-00480813v1

Tuning Constrained Objects

 Ricardo Soto , Laurent Granvilliers
AIE-IEA, 2008, France. pp.408-414
Communication dans un congrès hal-00480817v1

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

 Raphaël Chenouard , Patrick Sébastian , Laurent Granvilliers
CP, 2007, France. pp.18-32
Communication dans un congrès hal-00480815v1
Page :