上田 健司 | 広島市立大学大学院情報科学研究科

スポンサーリンク

概要

• 上田 健司の詳細を見る
• 同名の論文著者
• 広島市立大学大学院情報科学研究科の論文著者

関連著者

• 岩垣 剛

  北陸先端科学技術大学院大学情報科学研究科

• 市原 英行

  広島市立大学大学院情報科学研究科

• 井上 智生

  広島市立大学大学院情報科学研究科

• 岩垣 剛

  広島市立大学大学院情報科学研究科

• 上田 健司

  広島市立大学大学院情報科学研究科

• 井上 智生

  広島市立大学大学院 情報科学研究科

• 岩垣 剛

  広島市立大学大学院 情報科学研究科

• 市原 英行

  広島市立大学大学院 情報科学研究科

• 向井 俊矢

  広島市立大学大学院情報科学研究科

著作論文

• 解の再利用を用いたSATに基づくテスト生成におけるインスタンス順序と変数割当順序の決定法(システム設計技術(2),デザインガイア2012-VLSI設計の新しい大地-)
• 解の再利用を用いたSATに基づくテスト生成におけるインスタンス順序と変数割当順序の決定法(システム設計技術(2),デザインガイア2012-VLSI設計の新しい大地-)
• 解の再利用によるテスト生成のためのハードウェアSATソルバの実装(テスト生成, VLSI設計とテスト及び一般)

スポンサーリンク