open access

https://hdl.handle.net/2115/48423

BDD/ZDDパッケージ講習会

日本語

2011-06

ERATO湊離散構造処理系プロジェクト

ERATOセミナ2010 : No.39. 2011年3月22-23日

研究総括の湊が実装して使用している北大版BDD/ZDDパッケージのソースの構成やデータ構造などを解説します。パッケージの詳細に興味のある方（および実際に使いそうな学生さんなど）は、どうぞ聴講してください。第１回は、BDD/ZDDのデータ構造の概要の解説（湊が大学院の講義で用いている資料を再構成）が中心です。第２回は、実際のソースコード（CおよびC++）とドキュメントを見ながら、BDD/ZDDを表す構造体のフォーマットや、内部の関数呼び出しの構成を解説します。また、パッケージのインストールの方法と、簡単な例題のコンパイル等の実演も行います。

会議発表資料

Not Applicable (or Unknown)

2186-1846