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
- Categorie: Systeemvoorzieningen > Andere
- Publisher: bddcompression.sf.net
- Licentie: Gratis
- Prijs: N/A
- Versie: Array
- Platform: windows