BDD compression

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 4.0/5 - ‎4 ‎投票

バイナリ決定図の圧縮と解凍のためのアルゴリズムは、多くの場合、ノードあたり1-2ビットにBDDのサイズを減少させます.

バージョン履歴

  • バージョン Source%20Files%20%2B%20Paper に転記 2009-03-22
    いくつかの修正と更新
  • バージョン N/A に転記 2009-03-22

プログラムの詳細