Programas por bddcompression.sf.net

Un algoritmo para la compresión y descompresión de diagramas de decisión binarios en muchos casos reducirá el tamaño del BDD a 1-2 bits por nodo.