Score(fd/b) : un systeme de programmation par contraintes sur le domaine booleen - application -

par VINCENT JULIARD

Thèse de doctorat en Sciences appliquées

Sous la direction de JACQUELINE CHABRIER.

Soutenue en 1998

à Dijon .

    mots clés mots clés


  • Résumé

    Le probleme sat qui consiste a montrer, etant donnee une formule du calcul propositionnel, qu'il existe une affectation des variables satisfaisant la formule, est un probleme np-complet (cook 1971). Or, les problemes de recherche se formulant en sat recouvrent de nombreuses applications industrielles comme la verification et conception de circuit, la planification etc pour pouvoir resoudre en pratique ces problemes fortement combinatoires, plusieurs approches ont ete recemment proposees : les methodes de simplification, de recherche locale, recuit simule, evolution artificielle, reseaux neuronaux, programmation lineaire en 0/1 etc parallelement, d'autres recherches ont ete developpees pour essayer de mieux comprendre le fonctionnement de ces methodes. Des progres significatifs ont ete accomplis dans ce sens. Cette these presente score (fd/b), un environnement qui integre un langage de programmation de haut niveau dedie aux problemes sat structures, une methode de resolution complete utilisant la recherche locale et un laboratoire de tests avec interface graphique. Les principaux traits de conception du langage score (fd/b) sont : modularite, structures de tableaux, structures de controle et clauses de cardinalites. Ils favorisent une description declarative et concise des problemes. De plus, notre approche langage permet de detecter statiquement, a la traduction des programmes, des proprietes de symetrie qui seront exploitees plus tard par le solveur de score (fd/b). La methode de resolution que nous avons developpee pour les problemes sat structures et aleatoires, combine le retour arriere et la recherche locale. C'est une methode complete. Nous proposons differentes options et heuristiques qui permettent de resoudre avec efficacite des problemes reputes difficiles, notamment les problemes insatisfiables. Enfin, pour pouvoir experimenter, evaluer et comparer score (fd/b), nous avons developpe un environnement avec interface graphique.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 174 P.
  • Annexes : 76 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Bourgogne. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.