Abstract FR:

Dans cette these nous proposons un systeme de resolution de problemes de satisfaction de contraintes en nombres entiers. Ce systeme nomme liresne (langage pour interpreter et resoudre des systemes en nombres entiers) est compose de solveurs bases sur des algorithmes hybrides combinant les outils de l'intelligence artificielle (techniques de consistance, retour arriere intelligent) et de la recherche operationnelle (optimisation, recherche tabou, relaxation lagrangienne). Notre systeme est particulierement constitue : d'un interpreteur qui offre un langage declaratif pour enoncer les problemes et les traduit en une structure interne ; d'un solveur principal destine aux problemes de satisfaction de contraintes en nombres entiers non specifiques ; d'un solveur dedie aux problemes d'ordonnancement, auquel nous avons injecte des outils specifiques a ces problemes et dont l'algorithme de construction de l'arbre de recherche suit une nouvelle demarche ; et d'un solveur pour le probleme de satisfiabilite (sat) et (sat incremental) dont les performances, sur les instances traitees, sont meilleures que celles de la methode classique de davis-putnam-loveland et de sa version incrementale.