Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) "瀬戸, 謙修 and 藤田, 昌宏 and 浅田, 邦博",充足可能性判定を利用した最適コード生成手法,情報処理学会論文誌,1882-7764,東京 : 情報処理学会,2003-05-15,44,5,1202-1205,https://cir.nii.ac.jp/crid/1050564287837275520,