Resolution de contraintes lineaires sur les nombres rationnels dans le cadre de la programmation en logique avec contraintes

par NICOLAS SINGER

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Louis Imbert.

Soutenue en 1997

à Clermont Ferrand 2 .

    mots clés mots clés


  • Résumé

    Les interpreteurs de programmes logiques avec contraintes, sur lesquels reposent l'efficacite de ce type de langages, doivent faire face a des objectifs parfois contradictoires. A la fois explorateurs d'espace de recherche et presentateurs de resultats, une de leur tache essentielle reste la resolution de contraintes. Dans cette these nous nous interessons aux interpreteurs specialises dans le traitement de contraintes lineaires sur les nombres rationnels. Dans un premier temps nous comparons et optimisons differentes methodes de resolution, dans un deuxieme nous donnons une methode pour desengorger les systemes de contraintes en eliminant dynamiquement une majorite de leurs variables. Les algorithmes decrits ont ete implementes et rendus publics par l'intermediaire de multisolver(q), un interpreteur plc, et de solver(q), une bibliotheque de fonctions c.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 133 P.
  • Annexes : 50 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Bibliothèque Clermont Université (Aubière). Section Sciences et Techniques.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.