竹内 聖悟 | 独立行政法人科学技術振興機構ERATO湊離散構造処理系プロジェクト
スポンサーリンク
概要
独立行政法人科学技術振興機構ERATO湊離散構造処理系プロジェクト | 論文
- 5.ZDDを用いた新たな列挙手法(広がる列挙の技術-列挙による問題解決アプローチ-)
- ZDDを用いた新たな列挙手法
- 再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法(システム設計技術(1),デザインガイア2012-VLSI設計の新しい大地-)
- 再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法(システム設計技術(1),デザインガイア2012-VLSI設計の新しい大地-)