著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
後藤 優也 and 鍋島 英知,決定的ポートフォリオ型並列SATソルバーの待ち時間削減による高速化手法,人工知能学会研究会資料 人工知能基本問題研究会,2436-4584,一般社団法人 人工知能学会,2018-03-07,106,0,05,https://cir.nii.ac.jp/crid/1390007072282654208,https://doi.org/10.11517/jsaifpai.106.0_05