スポンサーリンク

独立行政法人科学技術振興機構ERATO湊離散構造処理系プロジェクト | 論文

• 5.ZDDを用いた新たな列挙手法(広がる列挙の技術-列挙による問題解決アプローチ-)
• ZDDを用いた新たな列挙手法
• 再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法(システム設計技術(1),デザインガイア2012-VLSI設計の新しい大地-)
• 再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法(システム設計技術(1),デザインガイア2012-VLSI設計の新しい大地-)

スポンサーリンク