A Compact and Efficient SAT Encoding of Finite CSP based on a Numeral System of Integers
Bibliographic Information
- Other Title
-
- 位取り記数法に基づく整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化
Search this article
Journal
-
- コンピュータソフトウェア
-
コンピュータソフトウェア 30 (1), 211-230, 2013
日本ソフトウェア科学会
- Tweet
Details 詳細情報について
-
- CRID
- 1571980077578781568
-
- NII Article ID
- 120005649152
-
- NII Book ID
- AN10075819
-
- ISSN
- 02896540
-
- Text Lang
- ja
-
- Data Source
-
- CiNii Articles