著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
中村 徹 and 矢野 明浩 and 長谷川 隆三,モデル生成型SATソルバーMiniMGの性能評価,人工知能基本問題研究会,,東京 : 人工知能学会,2010,78,,9-16,https://cir.nii.ac.jp/crid/1520853832061622912,