バイナリ決定図の圧縮と解凍のためのアルゴリズムは、多くの場合、ノードあたり1-2ビットにBDDのサイズを減少させます.
バージョン履歴
- バージョン Source%20Files%20%2B%20Paper に転記 2009-03-22
いくつかの修正と更新 - バージョン N/A に転記 2009-03-22
プログラムの詳細
- カテゴリ: システム ユーティリティ > 他
- パブリッシャー: bddcompression.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: Array
- プラットフォーム: windows