ツキモト ヒロシ   TSUKIMOTO Hiroshi
  月本 洋
   所属   東京電機大学  工学部 情報通信工学科
   東京電機大学大学院  工学研究科 情報通信工学専攻
   東京電機大学大学院  先端科学技術研究科 情報通信メディア工学専攻
   職種   教授
言語種別 英語
発行・発表の年月 2017/07
形態種別 学術研究論文
標題 An algorithm for 3-SAT problems
執筆形態 単著
掲載誌名 arXiv
掲載区分国外
出版社・発行元 Cornell University
巻・号・頁 arXiv:1604.03462
著者・共著者 Hiroshi Tsukimoto
概要 https://arxiv.org/abs/1604.03462