BDD compression

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 4.0/5 - ‎4 ‎Stemmen

Een algoritme voor compressie en decompressie van binaire beslissingsdiagrammen zal in veel gevallen de grootte van de BDD verkleinen tot 1-2 bits per knooppunt.

versiegeschiedenis

  • Versie Source%20Files%20%2B%20Paper geplaatst op 2009-03-22
    Verschillende oplossingen en updates
  • Versie N/A geplaatst op 2009-03-22

Programmadetails