1
|
基于消息传递关系网络的布尔可满足性预测 |
包冬庆
葛宁
翟树茂
张莉
|
《软件学报》
EI
CSCD
北大核心
|
2022 |
0 |
|
2
|
极小布尔不可满足子式的提取算法 |
邵明
李光辉
李晓维
|
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
|
2004 |
8
|
|
3
|
求解布尔不可满足子式的消解悖论算法 |
张建民
黎铁军
徐炜遐
庞征斌
李思昆
|
《国防科技大学学报》
EI
CAS
CSCD
北大核心
|
2015 |
0 |
|
4
|
一种求解布尔不可满足子式的局部搜索算法 |
张建民
沈胜宇
李思昆
|
《计算机工程与科学》
CSCD
北大核心
|
2009 |
0 |
|
5
|
基于Grover算法的图着色问题求解 |
刘晓楠
刘正煜
谢浩山
赵晨言
|
《计算机科学》
CSCD
北大核心
|
2023 |
0 |
|
6
|
非布尔问题系统求解算法的一种新思路 |
邱敏
徐良贤
|
《计算机仿真》
CSCD
|
2005 |
0 |
|
7
|
可满足性求解技术研究 |
张建民
沈胜宇
李思昆
|
《计算机工程与科学》
CSCD
北大核心
|
2010 |
3
|
|
8
|
基于改进连续时间动态系统的模拟SAT求解器 |
赵海军
陈华月
崔梦天
|
《计算机应用研究》
CSCD
北大核心
|
2024 |
0 |
|
9
|
基于SAT的GRANULE算法不可能差分分析 |
武小年
匡晶
张润莲
李灵琛
|
《计算机应用》
CSCD
北大核心
|
2024 |
0 |
|
10
|
一种布尔公式的代数逻辑约化新方法 |
刘江
周鸿昊
|
《计算机科学》
CSCD
北大核心
|
2020 |
1
|
|
11
|
对轻量级分组密码PICO算法的差分攻击 |
王彩冰
张志宇
胡磊
|
《密码学报》
CSCD
|
2023 |
0 |
|
12
|
基于细胞元模型拓扑约束求解 |
孙立镌
金钊
|
《计算机与数字工程》
|
2010 |
0 |
|
13
|
结合ATPG和SAT的无界模型检验前像计算方法 |
刘领一
赵阳
吕涛
李华伟
李晓维
|
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
|
2007 |
2
|
|
14
|
基于SAT的差分和线性活跃S盒搜索方法 |
苗旭东
董新锋
韩羽
穆道光
张文政
|
《信息安全与通信保密》
|
2022 |
0 |
|
15
|
基于SAT的线性扩散层分支数的快速计算方法 |
苗旭东
张晶
胡建勇
董新锋
张文政
|
《通信技术》
|
2022 |
0 |
|
16
|
一种ABCSAT算法的启发式初始解策略 |
周金莲
郭莹
|
《软件导刊》
|
2018 |
0 |
|
17
|
分组密码FBC的差分分析 |
刘端
罗毅博
贾珂婷
张国艳
邹光南
尤启迪
陈颖
|
《中国科学:信息科学》
CSCD
北大核心
|
2024 |
0 |
|