著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"宋, 剛秀 and 番原, 睦則 and 田村, 直之",Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings,International Journal on Artificial Intelligence Tools,0218-2130,World Scientific Publishing,2017-02,26,1,1760005-1760005,https://cir.nii.ac.jp/crid/1050856995323749760,https://doi.org/10.1142/s0218213017600053