李子湖
【姓名】 李子湖
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】 SAT逻辑演算推理
【发表文献关键词】 SAT,实例分解,内部结构,分治策略,工业,类别,设计算法,拆分,成图,分割,变量,分时,计算机科学,求解,解决,删去,不同来源,松散,观察,微电路,
【工作单位】 中国科学技术大学
【曾工作单位】 中国科学技术大学;
【所在地域】 合肥
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 1 0 2 0 62
中国期刊全文数据库    共找到2篇
[1]李子湖;周智;.工业类SAT实例的内部结构特性[J]微计算机应用.2006,(03)
[2]李子湖;周智;黄刘生;.用分治策略解决工业类SAT实例[J]微电子学与计算机.2007,(04)
更多