Optimisation de ROBBDs et applications

par Thierry Besson

Thèse de doctorat en Informatique

Sous la direction de Gabrièle Saucier.

Soutenue en 1996

à Grenoble INPG .


  • Résumé

    La synthese logique est a l'origine de l'evolution des systemes numeriques et de l'informatique. De nombreux problemes peuvent se ramener a une serie d'operations sur des fonctions booleennes aussi bien en electronique numerique, en intelligence artificielle, recherche operationnelle que dans le domaine du test ou de la preuve formelle. Depuis que ce domaine est etudie plusieurs representations de fonctions booleennes ont ete introduites: table de verite, representation en somme de monomes, somme exclusive de produits et les diagrammes de decision binaire ou bdds. Le grand interet des bdds est que ceux-ci offrent une representation canonique des fonctions booleennes extremement compact. Malheureusement, le point faible de cette representation reside dans le fait que sa taille est etroitement liee a l'ordre des variables. Cette these consistera donc a trouver des methodes d'ordonnancement des variables d'un bdd de facon a ce que celui-ci soit de taille minimisee. Une application interessante de ces resultats peut-etre faite pour resoudre les problemes de decomposition technologique sur des composants a base de multiplexeurs et notamment sur les cellules actels du nom de la meme compagnie

  • Titre traduit

    Robdds optimisations and applications


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 3 Vol. (154 f.)
  • Annexes : Bibliogr. 163 Réf.

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Accessible pour le PEB

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Non disponible pour le PEB
  • Cote : IMAG-1996-BES
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.