位取り記数法に基づく整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化
書誌事項
- タイトル別名
-
- A Compact and Efficient SAT Encoding of Finite CSP based on a Numeral System of Integers
この論文をさがす
収録刊行物
-
- コンピュータソフトウェア
-
コンピュータソフトウェア 30 (1), 211-230, 2013
日本ソフトウェア科学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1571980077578781568
-
- NII論文ID
- 120005649152
-
- NII書誌ID
- AN10075819
-
- ISSN
- 02896540
-
- 本文言語コード
- ja
-
- データソース種別
-
- CiNii Articles