Abstract FR:

Notre travail s'inscrit dans le cadre des études consacrées à la programmation mathématique en nombres entiers. Plus précisément, il concerne la résolution exacte du problème de satisfaction de contraintes non linéaires en variables 0-1. La méthode que nous proposons pour résoudre le problème de satisfaction de contraintes non linéaires a variables bivalentes, se place dans le même ordre d'idée que la méthode fast proposée par Bennaceur et plateau dans le cas linéaire. Elle s'appuie sur la résolution d'une suite de problèmes d'optimisation non linéaires en variables 0-1. Pour résoudre chacun d'eux nous proposons de privilégier les méthodes approchées utilisant les concepts fondamentaux: heuristiques, dualité, réduction et recherche arborescente. L'étude plus spécifique de la programmation quadratique en nombres entiers, a permis de valider la méthode en menant des expériences numériques dans le cadre de la satisfaction de contraintes quadratiques en variables 0-1