张一民
【姓名】 张一民
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】 命题推理的研究
【发表文献关键词】 一阶逻辑推理,SAT,命题推理,模型生成,模型生成器,一阶逻辑,子句,DPLL,SAT问题,空子句,子句集,单元传播,分裂规则,赋值,Horn子句,求解方法,单元归结,多项式复杂性,FIND,线性时间,
【工作单位】 吉林大学
【曾工作单位】 吉林大学;
【所在地域】 长春
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 1 1 1 1 66
中国期刊全文数据库    共找到1篇
[1]张一民,孙吉贵.一阶逻辑模型生成器的实现[J]吉林大学学报(理学版).2004,(02)
更多