• 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.