1
|
极小布尔不可满足子式的提取算法 |
邵明
李光辉
李晓维
|
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
|
2004 |
8
|
|
2
|
基于悖论证明与局部搜索的不可满足子式求解算法 |
张建民
沈胜宇
李思昆
|
《计算机学报》
EI
CSCD
北大核心
|
2014 |
4
|
|
3
|
布尔不可满足子式的求解方法研究进展 |
李思昆
张建民
沈胜宇
|
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
|
2008 |
1
|
|
4
|
求解布尔不可满足子式的消解悖论算法 |
张建民
黎铁军
徐炜遐
庞征斌
李思昆
|
《国防科技大学学报》
EI
CAS
CSCD
北大核心
|
2015 |
0 |
|
5
|
一种加速FPGA布线的不可满足子式求解算法 |
张建民
黎铁军
马柯帆
肖立权
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2021 |
0 |
|
6
|
应用不可满足子式的解码电路综合优化方法 |
张建民
黎铁军
马柯帆
肖立权
|
《国防科技大学学报》
EI
CAS
CSCD
北大核心
|
2016 |
0 |
|
7
|
一种求解布尔不可满足子式的局部搜索算法 |
张建民
沈胜宇
李思昆
|
《计算机工程与科学》
CSCD
北大核心
|
2009 |
0 |
|
8
|
不可满足子式研究 |
殷明浩
李欣
|
《智能系统学报》
CSCD
北大核心
|
2013 |
0 |
|