Accéder directement au contenu

Michel Rueher

8
Documents

Présentation

Publications

"alexandre-goldsztejn"
Image document

An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities

Alexandre Goldsztejn , Claude Michel , Michel Rueher
JFPC 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 Optimization

Michel Rueher , Alexandre Goldsztejn , Yahia Lebbah , Claude Michel
2008 International Symposium on Nonlinear Theory and its Applications, Sep 2008, Hungary
Communication dans un congrès hal-00481388v1
Image document

Constraint Programming and Safe Global Optimization

Alexandre Goldsztejn , Yahia Lebbah , Claude Michel , Michel Rueher
SCAN 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
Image document

Revisiting the upper bounding process in a safe Branch and Bound algorithm

Alexandre Goldsztejn , Yahia Lebbah , Claude Michel , Michel Rueher
14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.598-602
Communication dans un congrès hal-00297086v1
Image document

An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities

Alexandre Goldsztejn , Claude Michel , Michel Rueher
ACM 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 intervals

Alexandre Goldsztejn , David Daney , Michel Rueher , Patrick Taillibert
In 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