著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) 大野 周亮 and 番原 睦則 and 宋 剛秀 and 田村 直之,alldifferent 制約のブール基数制約への符号化手法の提案とクイーングラフ彩色問題への応用,人工知能学会研究会資料 人工知能基本問題研究会,2436-4584,一般社団法人 人工知能学会,2019-03-05,109,0,02,https://cir.nii.ac.jp/crid/1390570022237663488,https://doi.org/10.11517/jsaifpai.109.0_02