元木光男・上原隆平: "Unique Solution Instance Generation for the 3SAT Problem" IEICE Technical Report. COMP98-54. 25-32 (1998)
元木光男・上原隆平: "Unique Solution Instance Generation for the 3SAT Problem" IEICE Technical Report. COMP98-54. 25-32 (1998)
复制标题
Mitsuo Motoki 和 Ryuhei Uehara：“3SAT 问题的独特解决方案实例生成”IEICE COMP98-54 (1998)。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
