著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
宋 剛秀 and 鍋島 英知 and 番原 睦則 and 田村 直之 and 井上 克巳,CEGAR と反例の共有を用いたSAT型CSPソルバーの並列化方法の考察,人工知能学会研究会資料 人工知能基本問題研究会,2436-4584,一般社団法人 人工知能学会,2020-03-01,112,0,02,https://cir.nii.ac.jp/crid/1390288547259879424,https://doi.org/10.11517/jsaifpai.112.0_02