イグチ ユキヒロ   Iguchi Yukihiro
  井口 幸洋
   所属   明治大学  理工学部
   職種   専任教授
言語種別 日本語
発行・発表の年月 2015/06
形態種別 国際会議議事録
査読 査読あり
標題 A method to minimize variables for incompletely specified index generation functions using a SAT solver
執筆形態 共著(筆頭者以外)
掲載誌名 Note of Int'l Workshop on Logic and Synthesis
掲載区分国外
巻・号・頁 161-167頁
総ページ数 7
担当区分 最終著者
著者・共著者 T. Sasao, I. Fumishi, and Y. Iguchi