著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) "安藤, 聡 and 酒井, 正彦 and 坂部, 俊樹 and 草刈, 圭一朗 and 西田, 直樹 and ANDO, Satoshi and SAKAI, Masahiko and SAKABE, Toshiki and KUSAKARI, Keiichirou and NISHIDA, Naoki",Malbolge低級アセンブリプログラミングにおける制御命令の配置設計のためのSATソルバの利用,"電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス",09135685,一般社団法人電子情報通信学会,2013-01,112,373,25-30,https://cir.nii.ac.jp/crid/1050001338804680448,