著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) 宮本 照之 and 川原 純 and 湊 真一,ZDDの区間メモ化探索法を改良した頂点被覆問題のコスト制約解列挙アルゴリズム,人工知能学会研究会資料 人工知能基本問題研究会,2436-4584,一般社団法人 人工知能学会,2024-03-11,128,0,07-12,https://cir.nii.ac.jp/crid/1390017965044144128,https://doi.org/10.11517/jsaifpai.128.0_07