林豪
【姓名】 林豪
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 析取,子句,范式,均覆盖,永真,局性,真值表,永真性,判定问题,命题变元,求解算法,引理,n变元,NP完全问题,多项式时间,子式,算法,判定算法,代表资格,性问题,
【工作单位】 华中理工大学
【曾工作单位】 华中理工大学;
【所在地域】
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 0 1 1 5 54
中国期刊全文数据库    共找到1篇
[1]林豪,赖楚生,黄文奇.对于析取范式的构造的一个全局性分析[J]计算机学报.1989,(02)
更多