金人超
【姓名】 金人超
【职称】 副教授;
【研究领域】 数学;计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 拟物法,相对天书,可满足性,合取范式,拟人法,NP问题,相对化,停机状态,多项式,并行计算,界函数,SAT问题,天书,禁集,递归集,拟物拟人算法,定理2,计算过程,查询机,反证法,确定型,算法,子公式...
【工作单位】 华中理工大学
【曾工作单位】 华中理工大学;
【所在地域】 武汉
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/3 2 3 1 104 697
中国期刊全文数据库    共找到3篇
[1]金人超,黄文奇.并行计算:提高SAT问题求解效率的有效方法[J]软件学报.2000,(03)
[2]黄文奇,金人超.求解SAT问题的拟物拟人算法—Solar[J]中国科学E辑:技术科学.1997,(02)
[3]宋恩民,金人超,黄文奇.关于相对化的P=?NP问题的注记[J]数学研究与评论.1993,(03)
更多