贺思敏
【姓名】 贺思敏
【职称】
【研究领域】 自动化技术;
【研究方向】
【发表文献关键词】 吴方法,归结法,算法变换,划分类,初始点策略,子句,局部搜索,SAT问题,划分策略,可满足性问题,输入变换,初始点,DP算法,语义归结,算法设计,算法分析,组合问题,支持集,可满足,项式,特征列,划分...
【工作单位】 清华大学
【曾工作单位】 清华大学;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/3 3 3 3 9 400
中国期刊全文数据库    共找到3篇
[1]贺思敏,卢旭光,张钹.局部搜索多初始点选择的划分策略的性能分析[J]计算机学报.1998,(S1)
[2]贺思敏,张钹.用吴方法求解可满足性问题(Ⅰ)─—算法变换[J]计算机学报.1998,(S1)
[3]贺思敏,张钹.用吴方法求解可满足性问题(Ⅱ)─—实验研究[J]计算机学报.1998,(S1)
更多