Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
"中山, 寛己 and 高野, 保真 and 千代, 英一郎",変数値域を限定した試行に基づく高次制約問題の充足可能性推定方法の検討,情報処理学会論文誌プログラミング（PRO）,1882-7802,,2017-01-06,10,1,34-34,https://cir.nii.ac.jp/crid/1050845762838415360,