1
|
可满足模理论在软硬件划分领域的应用 |
毛乐乐
胡小勤
卢晨
|
《广西民族大学学报(自然科学版)》
CAS
|
2016 |
0 |
|
2
|
一种可满足模理论的拟物优化求解算法 |
卢道设
|
《福建电脑》
|
2021 |
0 |
|
3
|
可满足性模理论综述 |
唐傲
王晓峰
何飞
|
《计算机工程与科学》
CSCD
北大核心
|
2024 |
0 |
|
4
|
基于可满足性模理论的虚拟网映射问题求解 |
余建军
吴春明
|
《计算机应用与软件》
北大核心
|
2023 |
0 |
|
5
|
基于可满足性模理论的多处理机通信延迟优化任务调度方法 |
姜松岩
廖晓鹃
陈光柱
|
《计算机应用》
CSCD
北大核心
|
2023 |
2
|
|
6
|
基于可满足性模理论求解器的程序路径验证方法 |
任胜兵
吴斌
张健威
王志健
|
《计算机应用》
CSCD
北大核心
|
2016 |
2
|
|
7
|
基于多引擎并行协作的SCADE模型检测 |
方雨瑶
张聪
|
《计算机技术与发展》
|
2023 |
0 |
|
8
|
基于否证蕴含的极小一阶不可满足子式求解算法 |
张建民
沈胜宇
李思昆
|
《计算机学报》
EI
CSCD
北大核心
|
2010 |
1
|
|
9
|
不可满足子式研究 |
殷明浩
李欣
|
《智能系统学报》
CSCD
北大核心
|
2013 |
0 |
|
10
|
SMT求解器理论组合技术研究 |
李婧
刘万伟
|
《计算机工程与科学》
CSCD
北大核心
|
2011 |
5
|
|
11
|
RTL验证中的混合可满足性求解 |
邓澍军
吴为民
边计年
|
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
|
2007 |
11
|
|
12
|
使用事件自动机规约的C语言有界模型检测 |
阚双龙
黄志球
陈哲
徐丙凤
|
《软件学报》
EI
CSCD
北大核心
|
2014 |
4
|
|
13
|
基于有界模型检测的C/C++程序内存泄露检测 |
黄蔚
洪玫
杨秋辉
郭鑫宇
代声馨
徐保平
高婉玲
赵鹤
|
《计算机应用研究》
CSCD
北大核心
|
2016 |
2
|
|
14
|
基于Craig插值的线性混成系统符号化模型检测 |
陈祖希
徐中伟
霍伟伟
喻钢
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2014 |
2
|
|
15
|
基于一阶逻辑的可满足求解方法研究进展 |
张建民
黎铁军
马柯帆
肖立权
|
《计算机工程与科学》
CSCD
北大核心
|
2019 |
2
|
|
16
|
可满足性求解技术研究 |
张建民
沈胜宇
李思昆
|
《计算机工程与科学》
CSCD
北大核心
|
2010 |
3
|
|
17
|
基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法 |
张建民
黎铁军
张峻
徐炜遐
李思昆
|
《国防科技大学学报》
EI
CAS
CSCD
北大核心
|
2012 |
1
|
|
18
|
求解极小SMT不可满足子式的宽度优先搜索算法 |
张建民
沈胜宇
李思昆
|
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
|
2009 |
1
|
|
19
|
基于SMT的TECTL性质的限界模型检测方法 |
徐亮
刘宏
|
《计算机工程与科学》
CSCD
北大核心
|
2013 |
1
|
|
20
|
基于时间Petri网的嵌入式系统中断建模与验证 |
周宽久
常军旺
侯刚
任龙涛
王小龙
|
《计算机科学》
CSCD
北大核心
|
2014 |
0 |
|