著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"玉置, 卓 and Tamaki, Suguru and Yamamoto, Masaki",An exact algorithm for the Boolean connectivity problem for k-CNF,Theoretical Computer Science,0304-3975,Elsevier B.V.,2011-08,412,35,4613-4618,https://cir.nii.ac.jp/crid/1050564285674339968,