著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
丹生 智也 and 田村 直之 and 番原 睦則,位取り記数法に基づく整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化,コンピュータソフトウェア,0289-6540,日本ソフトウェア科学会,2013,30,1,211-230,https://cir.nii.ac.jp/crid/1571980077578781568,