Algorytm kompresji i dekompresji diagramów decyzji binarnych w wielu przypadkach zmniejszy rozmiar BDD do 1-2 bitów na węzeł.
historia wersji
- Wersja Source%20Files%20%2B%20Paper opublikowany na 2009-03-22
Kilka poprawek i aktualizacji - Wersja N/A opublikowany na 2009-03-22
Szczegóły programu
- Kategorii: Narzędzia systemowe > Innych
- Wydawca: bddcompression.sf.net
- Licencji: Wolna
- Cena: N/A
- Wersja: Array
- Platformy: windows