丁敏
【姓名】 丁敏
【职称】
【研究领域】 无线电电子学;临床医学;
【研究方向】 艾滋病护理
【发表文献关键词】 形式验证,可满足性,电子设计自动化,性问题,推理过程,可满足,问题解决,正向,文字,推理技术,DPLL,检查算法,测试基准,筛选方法,预定义,检查技术,计算速度,决策层,计算时间,算法,
【工作单位】 复旦大学
【曾工作单位】 复旦大学;
【所在地域】 上海
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/4 2 3 4 29 772
中国期刊全文数据库    共找到3篇
[1]丁敏;胡雁;韩舒羽;张林;鲍美娟;.上海市年轻艾滋病患者歧视感知度及相关因素分析[J]上海护理.2019,(12)
[2]丁敏;唐璞山;.改进的时间帧展开的时序电路等价验证算法[J]计算机辅助设计与图形学学报.2006,(01)
[3]丁敏,唐璞山,周电.结合高级正向推理过程的可满足性问题解决器[J]中国科学E辑:信息科学.2005,(04)
更多
中国博士学位论文全文数据库    共找到1篇