Axes PMC : Programmation Mathématique et Programmation par Contraintes

L'axe programmation mathématique et programmation par contraintes fédère les recherches dédiées aux méthodes de résolution de problèmes exprimés par des modèles déclaratifs. Les enjeux de notre recherche sont multiples : caractérisation de grandes familles de contraintes et d'objectifs, méthodologies innovantes de résolution, analyse de ces méthodologies (convergence, complexité), et intégration efficace des algorithmes dans des solveurs génériques ou dédiés.

Notre axe s'organise en quatre groupes de travail. Les trois premiers groupes rassemblent des communautés autour de familles de problèmes (programmation linéaire en nombres entiers, programmation non-linaire en nombres entiers, programmation par contraintes). Le quatrième groupe est transverse. Il s'intéresse aux aspects numériques de la programmation mathématique, avec un focus sur les approches de décomposition et le développement de solveurs.