マツウラ アキヒロ
MATSUURA Akihiro
松浦 昭洋
所属
東京電機大学 理工学部 理工学科 情報システムデザイン学系
東京電機大学大学院 理工学研究科 情報学専攻
東京電機大学大学院 先端科学技術研究科 情報学専攻
職種
教授
言語種別
英語
発行・発表の年月
2003
形態種別
学術研究論文
査読
査読あり
標題
Solving SAT Efficiently with Promises
執筆形態
共著
掲載誌名
IEICE Trans. on Information and Systems,
巻・号・頁
Vol.E86-D(No.2,),213-218,
著者・共著者
K. Iwama,