Programmi di bddcompression.sf.net

Un algoritmo per la compressione e la decompressione dei diagrammi decisionali binari ridurrà in molti casi le dimensioni del BDD a 1-2 bit per nodo.