著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"日野, 善信 and 酒井, 正彦 and 坂部, 俊樹 and 草刈, 圭一朗 and 西田, 直樹 and HINO, Yoshizane and SAKAI, Masahiko and SAKABE, Toshiki and KUSAKARI, Keiichirou and NISHIDA, Naoki",2リテラル監視法で実装されたSATソルバへの基本対称節処理機能の組み込み,"電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス",09135685,一般社団法人電子情報通信学会,2011-10,111,268,67-72,https://cir.nii.ac.jp/crid/1050845763734805376,