一种广义分子计算模型及其在 NP问题中的应用 - 李艳梅 余文 宁建国 (计算机应用研究, 2014)
Keywords: SAT问题; 图灵机; 广义分子计算模型; SAT问题; generalized molecular computational model; satisfiability problem; 图灵机; Turing machine; 广义分子计算模型