|
1
|
一种改进的子集可满足性算法用于FPGA布线 |
唐玉兰
张惠国
于宗光
|
《固体电子学研究与进展》
CAS
CSCD
北大核心
|
2009 |
0 |
|
|
2
|
最小布尔不可满足子式的求解算法 |
张建民
沈胜宇
李思昆
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2009 |
6
|
|
|
3
|
基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法 |
张建民
黎铁军
张峻
徐炜遐
李思昆
|
《国防科技大学学报》
EI
CAS
CSCD
北大核心
|
2012 |
1
|
|
|
4
|
应用不可满足子式的解码电路综合优化方法 |
张建民
黎铁军
马柯帆
肖立权
|
《国防科技大学学报》
EI
CAS
CSCD
北大核心
|
2016 |
0 |
|
|
5
|
结合二叉判决图和布尔可满足性的等价性验证算法 |
严晓浪
郑飞君
葛海通
杨军
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2004 |
8
|
|
|
6
|
基于可满足性计数的(≠,=)约束工作流鲁棒性验证 |
翟治年
王刚
郑志军
彭艳斌
潘志刚
王中鹏
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2015 |
4
|
|
|
7
|
改进的模拟退火算法求解规则可满足性问题 |
张九龙
王晓峰
芦磊
牛鹏飞
程亚南
|
《现代电子技术》
|
2022 |
7
|
|
|
8
|
工作流可满足性(≠,=)计数及其#P完全性 |
翟治年
卢亚辉
余法红
周武杰
向坚
吴茗蔚
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2017 |
3
|
|
|
9
|
基于回溯树分解的互斥约束工作流可满足性计数 |
翟治年
王巍橡
卢亚辉
吴茗蔚
郑志军
余法红
|
《电信科学》
北大核心
|
2016 |
3
|
|
|
10
|
离散时间区间时序逻辑可满足性的判定 |
朱维军
张海宾
周清雷
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2010 |
4
|
|
|
11
|
使用布尔可满足性的组合电路等价性验证算法 |
郑飞君
严晓浪
葛海通
杨军
|
《电子与信息学报》
EI
CSCD
北大核心
|
2005 |
3
|
|
|
12
|
一种基于图的DL-Lite本体最小不可满足保持子集的计算方法 |
付雪峰
漆桂林
张勇
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2016 |
2
|
|
|
13
|
扩展命题区间时序逻辑公式可满足性判定算法 |
朱维军
邓淼磊
周清雷
张海宾
|
《电子科技大学学报》
EI
CAS
CSCD
北大核心
|
2011 |
1
|
|
|
14
|
基于免疫B-Cell算法求解可满足性问题的性能分析 |
夏小云
周育人
|
《微电子学与计算机》
CSCD
北大核心
|
2016 |
1
|
|
|
15
|
基于关键路径的物流配送时效可满足性检测模型和算法 |
施成湘
|
《物流技术》
北大核心
|
2014 |
3
|
|
|
16
|
基于可满足性问题求解器的星上FPGA永久损伤容错技术研究 |
孙兆伟
刘源
赵丹
陈健
张世杰
|
《宇航学报》
EI
CAS
CSCD
北大核心
|
2011 |
0 |
|
|
17
|
完全析取范式检测ALCN-概念的可满足性 |
古华茂
高济
王勋
|
《四川大学学报（工程科学版）》
EI
CAS
CSCD
北大核心
|
2009 |
0 |
|
|
18
|
改进可满足性的测试向量生成算法 |
曾成碧
陈光
|
《四川大学学报（工程科学版）》
EI
CAS
CSCD
|
2000 |
0 |
|
|
19
|
可满足更高排放标准的GDi技术 |
陈永光
|
《汽车制造业》
|
2015 |
0 |
|
|
20
|
一个极小不可满足公式子类改名的复杂性研究 |
陈庆燕
|
《滨州学院学报》
|
2011 |
0 |
|
