Liresne : Un système de Résolution de problèmes de satisfaction de contraintes en nombres entiers

par IDIR GOUACHI

Thèse de doctorat en Sciences appliquées

Sous la direction de Gérard Plateau.

Soutenue en 1998

à Paris 13 .

    mots clés mots clés


  • Résumé

    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.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 147 p.
  • Annexes : 123 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris 13 (Villetaneuse, Seine-Saint-Denis). Bibliothèque universitaire. Section Sciences.
  • Disponible pour le PEB
  • Cote : TH 1998 026
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.