Iwama,K.: "Complexity of Finding Short Resolution Proofs" Proc.22nd Symposium on Mathematical Foundation of Computer Sceince (MFCS'97). LNCS 1295. 309-318 (1997)
Iwama,K.: "Complexity of Finding Short Resolution Proofs" Proc.22nd Symposium on Mathematical Foundation of Computer Sceince (MFCS'97). LNCS 1295. 309-318 (1997)
复制标题
Iwama,K.：“寻找短分辨率证明的复杂性”Proc.22nd 计算机科学数学基础研讨会 (MFCS97)。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
