著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
杉本 拓也 and 鍋島 英知,CDCLソルバーのための軽量動的簡単化手法,人工知能学会研究会資料 人工知能基本問題研究会,2436-4584,一般社団法人 人工知能学会,2015-03-18,97,0,16,https://cir.nii.ac.jp/crid/1390007072282662912,https://doi.org/10.11517/jsaifpai.97.0_16