順序符号化と対数符号化を融合した制約充足問題のハイブリッド符号化 [in Japanese] A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings [in Japanese]
Search this Article
Author(s)
Journal
-
- 日本ソフトウェア科学会大会論文集
-
日本ソフトウェア科学会大会論文集 32, 11p, 2015-09-09
[日本ソフトウェア科学会]