2019年3月13日
alldifferent制約のブール基数制約への符号化手法の提案とクイーングラフ彩色問題への応用 (特集 「命題論理の充足可能性問題SATの最新動向」および一般)
人工知能基本問題研究会
- ,
- ,
- ,
- 巻
- 109
- 号
- 開始ページ
- 6
- 終了ページ
- 11
- 記述言語
- 日本語
- 掲載種別
- DOI
- 10.11517/jsaifpai.109.0_02
- 出版者・発行元
- 人工知能学会
- リンク情報
- ID情報
-
- DOI : 10.11517/jsaifpai.109.0_02
- CiNii Articles ID : 40021835190
- CiNii Books ID : AA11977943