1
|
求解恰当可满足性问题的随机局部搜索算法 |
赵星宇
王晓峰
杨易
庞立超
杨澜
|
《计算机应用》
CSCD
北大核心
|
2024 |
0 |
|
2
|
可满足性模理论综述 |
唐傲
王晓峰
何飞
|
《计算机工程与科学》
CSCD
北大核心
|
2024 |
0 |
|
3
|
资源独立工作流可满足性的最小增量模式回溯 |
翟治年
卢亚辉
刘关俊
雷景生
向坚
吴茗蔚
|
《软件学报》
EI
CSCD
北大核心
|
2023 |
0 |
|
4
|
工作流可满足性的约简增量模式回溯法 |
翟治年
刘关俊
卢亚辉
向坚
吴茗蔚
丰明坤
|
《计算机集成制造系统》
EI
CSCD
北大核心
|
2023 |
0 |
|
5
|
基于可满足性模理论的虚拟网映射问题求解 |
余建军
吴春明
|
《计算机应用与软件》
北大核心
|
2023 |
0 |
|
6
|
基于可满足性模理论的多处理机通信延迟优化任务调度方法 |
姜松岩
廖晓鹃
陈光柱
|
《计算机应用》
CSCD
北大核心
|
2023 |
2
|
|
7
|
一种基于消解的变量极小不可满足子公式的提取方法 |
陈振宇
徐宝文
周从华
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2008 |
4
|
|
8
|
利用命题逻辑最大可满足性的冗余通孔最优插入方法 |
杨成
杨骏
张亚东
|
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
|
2023 |
0 |
|
9
|
可满足性问题的精确算法和计算复杂性 |
陈建二
杨伟
|
《广州大学学报(自然科学版)》
CAS
|
2023 |
0 |
|
10
|
不可满足子式研究 |
殷明浩
李欣
|
《智能系统学报》
CSCD
北大核心
|
2013 |
0 |
|
11
|
一种改进的子集可满足性算法用于FPGA布线 |
唐玉兰
张惠国
于宗光
|
《固体电子学研究与进展》
CAS
CSCD
北大核心
|
2009 |
0 |
|
12
|
一种目标可满足性定性、定量表示与推理方法 |
王守信
张莉
王帅
申菊芳
刘禹
|
《软件学报》
EI
CSCD
北大核心
|
2011 |
14
|
|
13
|
RTL验证中的混合可满足性求解 |
邓澍军
吴为民
边计年
|
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
|
2007 |
11
|
|
14
|
最小布尔不可满足子式的求解算法 |
张建民
沈胜宇
李思昆
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2009 |
6
|
|
15
|
可满足问题中的模型计数 |
谷文祥
朱磊
黄平
殷明浩
|
《智能系统学报》
北大核心
|
2012 |
3
|
|
16
|
基于悖论证明与局部搜索的不可满足子式求解算法 |
张建民
沈胜宇
李思昆
|
《计算机学报》
EI
CSCD
北大核心
|
2014 |
4
|
|
17
|
CP-nets的可满足性及一致性研究 |
孙雪姣
刘惊雷
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2012 |
7
|
|
18
|
基于一阶逻辑的可满足求解方法研究进展 |
张建民
黎铁军
马柯帆
肖立权
|
《计算机工程与科学》
CSCD
北大核心
|
2019 |
2
|
|
19
|
基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法 |
张建民
黎铁军
张峻
徐炜遐
李思昆
|
《国防科技大学学报》
EI
CAS
CSCD
北大核心
|
2012 |
1
|
|
20
|
可满足性求解技术研究 |
张建民
沈胜宇
李思昆
|
《计算机工程与科学》
CSCD
北大核心
|
2010 |
3
|
|