Programas por bddcompression.sf.net

Um algoritmo para compressão e descompressão de diagramas de decisão binário reduzirá, em muitos casos, o tamanho do BDD para 1-2 bits por nó.