BDD compression

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 4.0/5 - ‎4 ‎Votos

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