刘涛
【姓名】 刘涛
【职称】
【研究领域】 计算机软件及计算机应用;自动化技术;
【研究方向】
【发表文献关键词】 分级重排,回溯算法,SAT问题,子句,局部搜索,变量,分枝过程,子问题,局部搜索法,局部搜索算法,自由变量,算法,布尔表达式,搜索算法,冲突数,可满足,文字,求解策略,多级重排,回溯过程,
【工作单位】 中国国家智能计算机研究开发中心
【曾工作单位】 中国国家智能计算机研究开发中心;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 1 1 1 28 234
中国期刊全文数据库    共找到2篇
[1]刘涛，李国杰.求解SAT问题的分级重排搜索算法[J]软件学报.1996,(04)
[2]田奕;刘涛;李国杰;.求解可满足性问题的一种高效遗传算法[J]模式识别与人工智能.1996,(03)
更多