Laurent Granvilliers
Laurent Granvilliers
Interval Tests and Contractors Based on Optimality Conditions for Bound-Constrained Global Optimization.
2060001:1-2060001:22
2020
29
Int. J. Artif. Intell. Tools
03n04
https://doi.org/10.1142/S0218213020600015
db/journals/ijait/ijait29.html#Granvilliers20
Laurent Granvilliers
Filtering Domains of Factorable Functions Using Interval Contractors.
99-108
2019
WCGO
https://doi.org/10.1007/978-3-030-21803-4_10
conf/wcgo/2019
db/conf/wcgo/wcgo2019.html#Granvilliers19
Laurent Granvilliers
A New Interval Contractor Based on Optimality Conditions for Bound Constrained Global Optimization.
90-97
2018
ICTAI
https://doi.org/10.1109/ICTAI.2018.00024
https://doi.ieeecomputersociety.org/10.1109/ICTAI.2018.00024
conf/ictai/2018
db/conf/ictai/ictai2018.html#Granvilliers18
Benjamin Martin 0003
Alexandre Goldsztejn
Laurent Granvilliers
Christophe Jermann
Constraint propagation using dominance in interval Branch & Bound for nonlinear biobjective optimization.
934-948
2017
260
Eur. J. Oper. Res.
3
https://doi.org/10.1016/j.ejor.2016.05.045
db/journals/eor/eor260.html#MartinGGJ17
Benjamin Martin 0003
Alexandre Goldsztejn
Laurent Granvilliers
Christophe Jermann
On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach.
3-16
2016
64
J. Glob. Optim.
1
https://doi.org/10.1007/s10898-014-0201-3
db/journals/jgo/jgo64.html#MartinGGJ16
Benjamin Martin 0003
Alexandre Goldsztejn
Laurent Granvilliers
Christophe Jermann
Certified Parallelotope Continuation for One-Manifolds.
3373-3401
2013
51
SIAM J. Numer. Anal.
6
https://doi.org/10.1137/130906544
db/journals/siamnum/siamnum51.html#MartinGGJ13
Alexandre Goldsztejn
Laurent Granvilliers
Christophe Jermann
Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems.
774-789
2013
CP
https://doi.org/10.1007/978-3-642-40627-0_57
conf/cp/2013
db/conf/cp/cp2013.html#GoldsztejnGJ13
Laurent Granvilliers
Adaptive Bisection of Numerical CSPs.
290-298
2012
CP
https://doi.org/10.1007/978-3-642-33558-7_23
conf/cp/2012
db/conf/cp/cp2012.html#Granvilliers12
Alexandre Goldsztejn
Laurent Granvilliers
A new framework for sharp and efficient resolution of NCSP with manifolds of solutions.
190-212
2010
15
Constraints An Int. J.
2
https://doi.org/10.1007/s10601-009-9082-3
db/journals/constraints/constraints15.html#GoldsztejnG10
Raphaël Chenouard
Laurent Granvilliers
Ricardo Soto 0001
High-Level Modeling of Component-Based CSPs.
233-242
2010
SBIA
https://doi.org/10.1007/978-3-642-16138-4_24
https://www.wikidata.org/entity/Q57782200
conf/sbia/2010
db/conf/sbia/sbia2010.html#ChenouardGS10
Raphaël Chenouard
Laurent Granvilliers
Ricardo Soto 0001
Model-Driven Constraint Programming
http://arxiv.org/abs/1002.2897
2010
CoRR
abs/1002.2897
db/journals/corr/corr1002.html#abs-1002-2897
Raphaël Chenouard
Laurent Granvilliers
Ricardo Soto 0001
Rewriting Constraint Models with Metamodels
http://arxiv.org/abs/1002.3023
2010
CoRR
abs/1002.3023
db/journals/corr/corr1002.html#abs-1002-3023
Raphaël Chenouard
Laurent Granvilliers
Ricardo Soto 0001
Using ATL to define advanced and flexible constraint model transformations
http://arxiv.org/abs/1002.3078
2010
CoRR
abs/1002.3078
db/journals/corr/corr1002.html#abs-1002-3078
Raphaël Chenouard
Laurent Granvilliers
Patrick Sébastian
Search heuristics for constraint-aided embodiment design.
175-195
2009
23
Artif. Intell. Eng. Des. Anal. Manuf.
2
https://doi.org/10.1017/S0890060409000055
db/journals/aiedam/aiedam23.html#ChenouardGS09
Nicolas Berger
Laurent Granvilliers
Some Interval Approximation Techniques for MINLP.
2009
SARA
http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/798
conf/sara/2009
db/conf/sara/sara2009.html#BergerG09
Raphaël Chenouard
Laurent Granvilliers
Ricardo Soto 0001
Rewriting Constraint Models with Metamodels.
2009
SARA
http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/786
conf/sara/2009
db/conf/sara/sara2009.html#ChenouardGS09
Alexandre Goldsztejn
Laurent Granvilliers
A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions.
190-204
2008
CP
https://doi.org/10.1007/978-3-540-85958-1_13
conf/cp/2008
db/conf/cp/cp2008.html#GoldsztejnG08
Ricardo Soto 0001
Laurent Granvilliers
Tuning Constrained Objects.
408-414
2008
IEA/AIE
https://doi.org/10.1007/978-3-540-69052-8_43
https://www.wikidata.org/entity/Q57782205
conf/ieaaie/2008
db/conf/ieaaie/ieaaie2008.html#SotoG08
Raphaël Chenouard
Laurent Granvilliers
Ricardo Soto 0001
Model-driven constraint programming.
236-246
2008
PPDP
https://doi.org/10.1145/1389449.1389479
https://www.wikidata.org/entity/Q57782202
conf/ppdp/2008
db/conf/ppdp/ppdp2008.html#ChenouardGS08
Ricardo Soto 0001
Laurent Granvilliers
On the Pursuit of a Standard Language for Object-Oriented Constraint Modeling.
123-133
2008
New Challenges in Applied Intelligence Technologies
https://doi.org/10.1007/978-3-540-79355-7_12
https://www.wikidata.org/entity/Q57782203
series/sci/2008-134
db/series/sci/sci134.html#SotoG08
Raphaël Chenouard
Patrick Sébastian
Laurent Granvilliers
Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques.
18-32
2007
conf/cp/2007
CP
https://doi.org/10.1007/978-3-540-74970-7_4
db/conf/cp/cp2007.html#ChenouardSG07
Ricardo Soto 0001
Laurent Granvilliers
The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models.
243-250
2007
conf/ictai/2007-1
ICTAI (1)
https://doi.org/10.1109/ICTAI.2007.119
https://doi.ieeecomputersociety.org/10.1109/ICTAI.2007.119
https://www.wikidata.org/entity/Q57782206
db/conf/ictai/ictai2007-1.html#SotoG07
Laurent Granvilliers
Frédéric Benhamou
Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques.
138-156
2006
32
ACM Trans. Math. Softw.
1
https://doi.org/10.1145/1132973.1132980
https://www.wikidata.org/entity/Q113310695
db/journals/toms/toms32.html#GranvilliersB06
Frédéric Benhamou
Laurent Granvilliers
Continuous and Interval Constraints.
571-603
2006
Handbook of Constraint Programming
https://doi.org/10.1016/S1574-6526(06)80020-9
reference/fai/2
db/reference/fai/fai2.html#BenhamouG06
Frédéric Goualard
Laurent Granvilliers
Controlled propagation in continuous numerical constraint networks.
377-382
2005
conf/sac/2005
SAC
https://doi.org/10.1145/1066677.1066765
db/conf/sac/sac2005.html#GoualardG05
Laurent Granvilliers
Jorge Cruz 0001
Pedro Barahona
Parameter Estimation Using Interval Computations.
591-612
2004
26
SIAM J. Sci. Comput.
2
https://doi.org/10.1137/S1064827503426851
https://www.wikidata.org/entity/Q62038821
db/journals/siamsc/siamsc26.html#GranvilliersCB04
Laurent Granvilliers
Mina Ouabiba
Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques.
118-131
https://doi.org/10.1007/978-3-540-30210-0_11
2004
conf/aisc/2004
AISC
db/conf/aisc/aisc2004.html#GranvilliersO04
Laurent Granvilliers
Mina Ouabiba
Contribution aux techniques de satisfaction de contraintes par combinaison de termes non linéaires.
2004
conf/jfplc/2004
JFPLC
db/conf/jfplc/jfplc2004.html#GranvilliersO04
Frédéric Goualard
Laurent Granvilliers
Directional Consistency for Continuous Numerical Constraints
http://arxiv.org/abs/cs/0406025
2004
CoRR
cs.AI/0406025
db/journals/corr/corr0406.html#cs-AI-0406025
Jürgen Garloff
Laurent Granvilliers
Andrew P. Smith 0001
Accelerating Consistency Techniques and Prony's Method for Reliable Parameter Estimation of Exponential Sums.
31-45
2003
conf/cocos/2003
COCOS
https://doi.org/10.1007/11425076_3
db/conf/cocos/cocos2003.html#GarloffGS03
Laurent Granvilliers
Vladik Kreinovich
Norbert Th. Müller
Novel Approaches to Numerical Software with Result Verification.
274-305
https://doi.org/10.1007/978-3-540-24738-8_17
2003
conf/dagstuhl/2003ns
Numerical Software with Result Verification
db/conf/dagstuhl/ns2003.html#GranvilliersKM03
Laurent Granvilliers
Éric Monfroy
Implementing Constraint Propagation by Composition of Reductions.
300-314
https://doi.org/10.1007/978-3-540-24599-5_21
2003
conf/iclp/2003
ICLP
db/conf/iclp/iclp2003.html#GranvilliersM03
Martine Ceberio
Laurent Granvilliers
Horner's Rule for Interval Evaluation Revisited.
51-81
2002
69
1
Computing
https://doi.org/10.1007/s00607-002-1448-y
db/journals/computing/computing69.html#CeberioG02
Marc Christie
Éric Languénou
Laurent Granvilliers
Modeling Camera Control with Constrained Hypertubes.
618-632
2002
conf/cp/2002
CP
https://doi.org/10.1007/3-540-46135-3_41
db/conf/cp/cp2002.html#ChristieLG02
Martine Ceberio
Laurent Granvilliers
Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods.
117-131
2002
conf/frocos/2002
FroCoS
https://doi.org/10.1007/3-540-45988-X_10
db/conf/frocos/frocos2002.html#CeberioG02
Luc Jaulin
Marc Christie
Laurent Granvilliers
Quelques applications de la propagation de contraintes sur les domaines continus en automatique.
43-
2002
conf/jfplc/2002
JFPLC
db/conf/jfplc/jfplc2002.html#JaulinCG02
Laurent Granvilliers
Frédéric Benhamou
Progress in the Solving of a Circuit Design Problem.
155-168
2001
20
J. Glob. Optim.
2
https://doi.org/10.1023/A:1011266226870
db/journals/jgo/jgo20.html#GranvilliersB01
Laurent Granvilliers
On the Combination of Interval Constraint Solvers.
467-483
2001
7
Reliab. Comput.
6
https://doi.org/10.1023/A:1014750702474
db/journals/rc/rc7.html#Granvilliers01
Laurent Granvilliers
Éric Monfroy
Composition Operators for Constraint Propagation: An Application to Choco.
600-604
2001
conf/cp/2001
CP
https://doi.org/10.1007/3-540-45578-7_47
db/conf/cp/cp2001.html#GranvilliersM01
Laurent Granvilliers
Éric Monfroy
A Graphical Interface for Solver Cooperations.
457-467
2001
conf/ershov/2001
Ershov Memorial Conference
https://doi.org/10.1007/3-540-45575-2_44
db/conf/ershov/ershov2001.html#GranvilliersM01
Laurent Granvilliers
Éric Monfroy
Frédéric Benhamou
Symbolic-interval cooperation in constraint programming.
150-166
2001
conf/issac/2001
ISSAC
https://doi.org/10.1145/384101.384123
db/conf/issac/issac2001.html#GranvilliersMB01
Laurent Granvilliers
Éric Monfroy
Enhancing Constraint Propagation with Composition Operators
https://arxiv.org/abs/cs/0107002
2001
CoRR
cs.AI/0107002
db/journals/corr/corr0107.html#cs-AI-0107002
Laurent Granvilliers
Gaétan Hains
A conservative scheme for parallel interval narrowing.
141-146
2000
74
Inf. Process. Lett.
3-4
db/journals/ipl/ipl74.html#GranvilliersH00
https://doi.org/10.1016/S0020-0190(00)00048-X
Laurent Granvilliers
Éric Monfroy
Declarative Modelling of Constraint Propagation Strategies.
201-215
https://doi.org/10.1007/3-540-40888-6_19
2000
conf/advis/2000
ADVIS
db/conf/advis/advis2000.html#GranvilliersM00
Martine Ceberio
Laurent Granvilliers
Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic.
127-141
2000
conf/aisc/2000
AISC
https://doi.org/10.1007/3-540-44990-6_10
db/conf/aisc/aisc2000.html#CeberioG00
Laurent Granvilliers
Éric Monfroy
Constraint Propagation: Between Abstract Models and ad hoc Strategies.
505-509
https://doi.org/10.1007/3-540-45349-0_39
2000
conf/cp/2000
CP
db/conf/cp/cp2000.html#GranvilliersM00
Laurent Granvilliers
Towards Cooperative Interval Narrowing.
18-31
2000
conf/frocos/2000
FroCoS
db/conf/frocos/frocos2000.html#Granvilliers00
https://doi.org/10.1007/10720084_2
Laurent Granvilliers
Éric Monfroy
Modélisation déclarative de stratégies de propagation de contraintes.
109-124
2000
conf/jfplc/2000
JFPLC
db/conf/jfplc/jfplc2000.html#GranvilliersM00
Martine Ceberio
Laurent Granvilliers
Résolution de systèmes non linéaires par inversion des contraintes et analyse par intervalles.
205-220
2000
conf/jfplc/2000
JFPLC
db/conf/jfplc/jfplc2000.html#CeberioG00
Frédéric Goualard
Frédéric Benhamou
Laurent Granvilliers
An Extension of the WAM for Hybrid Interval Solvers.
1999
1999
J. Funct. Log. Program.
Special Issue 1
db/journals/jflp/jflp1999.html#GoualardBG99
Frédéric Benhamou
Laurent Granvilliers
Frédéric Goualard
Interval Constraints: Results and Perspectives.
1-16
https://doi.org/10.1007/3-540-44654-0_1
1999
conf/compulog/1999
New Trends in Constraints
db/conf/compulog/compulog1999.html#BenhamouGG99
Frédéric Benhamou
Frédéric Goualard
Laurent Granvilliers
Jean-Francois Puget
Revising Hull and Box Consistency.
230-244
1999
conf/iclp/1999
ICLP
db/conf/iclp/iclp99.html#BenhamouGGP99
Laurent Granvilliers
Frédéric Goualard
Frédéric Benhamou
Box Consistency through Weak Box Consistency.
373-380
1999
conf/ictai/1999
ICTAI
https://doi.org/10.1109/TAI.1999.809826
https://doi.ieeecomputersociety.org/10.1109/TAI.1999.809826
db/conf/ictai/ictai1999.html#GranvilliersGB99
Laurent Granvilliers
Stratégies de résolution de CSP numériques.
221-240
1999
conf/jfplc/1999
JFPLC
db/conf/jfplc/jfplc1999.html#Granvilliers99
Laurent Granvilliers
A Symbolic-Numerical Branch and Prune Algorithm for Solving Non-linear Polynomial Systems.
125-146
1998
4
J. Univers. Comput. Sci.
2
db/journals/jucs/jucs4.html#Granvilliers97
https://doi.org/10.3217/jucs-004-02-0125
Frédéric Benhamou
Laurent Granvilliers
Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving.
335-344
1997
3
Reliab. Comput.
3
https://doi.org/10.1023/A:1009943413814
db/journals/rc/rc3.html#BenhamouG97
Laurent Granvilliers
Transformations symboliques et consistance de bloc de CSP continus.
195-210
1997
conf/jfplc/1997
JFPLC
db/conf/jfplc/jfplc1997.html#Granvilliers97
Frédéric Benhamou
Laurent Granvilliers
Combining Local Consistency, Symbolic Rewriting and Interval Methods.
144-159
1996
conf/aisc/1996
AISMC
db/conf/aisc/aismc1996.html#BenhamouG96
https://doi.org/10.1007/3-540-61732-9_55
Pedro Barahona
Frédéric Benhamou
Nicolas Berger
Martine Ceberio
Raphaël Chenouard
Marc Christie
Jorge Cruz 0001
Jürgen Garloff
Alexandre Goldsztejn
Frédéric Goualard
Gaétan Hains
Luc Jaulin
Christophe Jermann
Vladik Kreinovich
Éric Languénou
Benjamin Martin 0003
Éric Monfroy
Norbert Th. Müller
Mina Ouabiba
Jean-François PugetJean-Francois Puget
Patrick Sébastian
Andrew P. Smith 0001
Ricardo Soto 0001