川原 純 | 独立行政法人科学技術振興機構ERATO湊離散構造処理系プロジェクト:北海道大学大学院情報科学研究科
スポンサーリンク
概要
独立行政法人科学技術振興機構ERATO湊離散構造処理系プロジェクト:北海道大学大学院情報科学研究科 | 論文
- 再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法(システム設計技術(1),デザインガイア2012-VLSI設計の新しい大地-)
- 再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法(システム設計技術(1),デザインガイア2012-VLSI設計の新しい大地-)