/binary-decision-diagram

Algorithmique avancée: Génération de diagrammes de décision binaires, réduits et ordonnés

Primary LanguageJava

  • Génération de diagrammes de décision binaires, réduits et ordonnés avec une approche analogue à celle présentée dans l’article de Newton et Verna : "A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams". Avec une comparaison de nos résultats à leurs expérimentations.
  • Un soin particulier a été apporté concernant la réflexion et la mise en place concernant les expérimentations.