- 3
- 2
- 1
- 1
- 1
Michel Rueher
8
Documents
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 8
- 5
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
Capabilities of Constraint Programming in Safe Global OptimizationReliable Computing electronic edition, 2011, 15 (1), pp.47-59
Article dans une revue
hal-00835183v1
|
|
Efficient Handling of Universally Quantified InequalitiesConstraints, 2009, 14 (1), pp.117-135
Article dans une revue
hal-00431129v1
|
|
An Efficient Algorithm for a Sharp Approximation of Universally Quantified InequalitiesJFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.373
Communication dans un congrès
inria-00293749v1
|
Capabilities of Constraint Programming in Rigorous Global Optimization2008 International Symposium on Nonlinear Theory and its Applications, Sep 2008, Hungary
Communication dans un congrès
hal-00481388v1
|
|
|
Constraint Programming and Safe Global OptimizationSCAN 2008, 3th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2008, El Paso, TX, United States
Communication dans un congrès
hal-00510305v1
|
|
Revisiting the upper bounding process in a safe Branch and Bound algorithm14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.598-602
Communication dans un congrès
hal-00297086v1
|
|
An Efficient Algorithm for a Sharp Approximation of Universally Quantified InequalitiesACM symposium on Applied computing, Mar 2008, Fortaleza, Ceara, Brazil. pp.134-139
Communication dans un congrès
hal-00297250v1
|
Modal intervals revisited : a mean-value extension to generalized intervalsIn International Workshop on Quantification in Constraint Programming (International Conference on Principles and Practice of Constraint Programming, CP-2005), Oct 2005, Barcelona, Spain
Communication dans un congrès
hal-00990048v1
|