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.
historial de versiones
- Versión Source%20Files%20%2B%20Paper publicado en 2009-03-22
Varias correcciones y actualizaciones - Versión N/A publicado en 2009-03-22
Detalles del programa
- Categoría: Utilidades del sistema > Otro
- Editor: bddcompression.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: Array
- Plataforma: windows