BDD compression

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎4 ‎Votes

Sur BDD compression

Un algorithme de compression et de décompression des diagrammes de décision binaires réduira dans de nombreux cas la taille du BDD à 1-2 bits par nœud.