Relaxations Affines

Depuis 2007 Mon principal axe de recherche concerne une méthode automatique pour construire des relaxations linéaires de problèmes d'optimisation globale avec contraintes. Cette construction est basée sur l'arithmétique par intervalles et l'arithmétique affine en utilisant la surcharge d'opérateurs. Le problème linéaire généré a exactement le même nombre de variables et de contraintes d'inégalité que le problème d'origine, chaque contrainte d'égalité étant remplacée par deux inégalités. Ce nouveau procédé pour calculer des bornes fiables et des certificats d'infaisabilité est inséré dans un algorithme classique de Branch and Bound par intervalles, nommé IBBA.