Minato Shin-ichi | Ntt Lsi Laboratories
スポンサーリンク
概要
関連著者
-
湊 真一
北海道大学大学院情報科学研究科・科学技術振興機構erato湊離散構造処理系プロジェクト・ /科学技術振興機構erato湊離散構造処理系プロジェクト・北海道大学大学院情報科学研究科
-
Minato Shin-ichi
Ntt Lsi Laboratories
著作論文
- Fast Generation of Prime-Irredundant Covers from Binary Decision Diagrams
- BEM-II: An Arithmetic Boolean Expression Manipulator Using BDDs (Special Section on VLSI Design and CAD Algorithms)