罗二海
【姓名】 罗二海
【职称】
【研究领域】 自动化技术;
【研究方向】
【发表文献关键词】 可满足性问题,DPLL,决策方法,冲突,子句,变量赋值,静态结合,动态排序,自由变量,行排序,观察变量,搜索算法,决策策略,动态更新,优先考虑,出现次数,文字,速度,相结合,排序方法,
【工作单位】 复旦大学
【曾工作单位】 复旦大学;
【所在地域】 上海
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 1 1 1 8 114
中国期刊全文数据库    共找到1篇
[1]罗二海;荆明娥;尹文波;周电;唐璞山;.动静态结合排序决策的可满足性问题解决器[J]计算机辅助设计与图形学学报.2006,(10)
更多