La methode simplex pour la resolution et l'implication de contraintes lineaires en programmation logique par contraintes

by PHILIPPE REFALO

Doctoral thesis in Sciences appliquées

Under the supervision of Jean-François Pique.

defended on 1997

in Aix-Marseille 2 .

  • Alternative Title

    Solving and deciding entailment of linear constraints in constraint logic programming


  • Abstract not available

    keywords keywords


  • Abstract

    Cette these est une contribution a la resolution de contraintes lineaires en programmation logique par contraintes (clp). Nous resolvons les contraintes lineaires simples exprimees avec les symboles de relation =, , < et = (different). Nous resolvons egalement des contraintes lineaires complexes. Celles-ci permettent de raisonner sur la valeur de verite d'une contrainte et d'exprimer, par exemple, des relations booleennes sur les contraintes lineaires. Le traitement des contraintes complexes s'appuie sur la verification de l'implication de contraintes simples. Nous avons, pour cela, introduit des formes particulieres pour ces dernieres dont les proprietes permettent de simplifier cette verification. L'algorithme de resolution est essentiellement base sur le simplex revise, qui est plus efficace sur les problemes pratiques que les algorithmes utilises jusqu'alors dans les langages clp. Cet algorithme est dynamique : il est possible d'ajouter incrementalement une contrainte au systeme de contraintes courant et de retirer, a tout moment, une contrainte quelconque de ce systeme. Les contraintes < et = sont traitees grace a l'identification des variables figees. On presente ici une synthese comparative des differentes methodes utilisees pour cette identification en etudiant particulierement leur adaptation a l'algorithme du simplex revise. Finalement, l'algorithme de resolution a ete integre a un langage clp et ses performances ont ete evaluees sur des problemes pratiques de recherche operationnelle.

Consult library

Version is available as a paper

Informations

  • Details : 284 P.
  • Annexes : 141 REF.

Where is this thesis?

  • Library :
  • Available for PEB
  • Odds : 28287
See the Sudoc catalog libraries of higher education and research.