|
1
|
可满足性问题的巨磁电阻型DNA计算模型 |
肖建华
许进
|
《计算机学报》
EI
CSCD
北大核心
|
2013 |
8
|
|
|
2
|
计算机辅助测试性设计中的测试性改善最大化问题研究 |
刘冠军
易晓山
柳新民
|
《计算机工程与应用》
CSCD
北大核心
|
2002 |
1
|
|
|
3
|
非线性边值问题的一种高精度计算模型 |
卫加宁
章社生
Yakup Paker
|
《海军工程大学学报》
CAS
|
2001 |
0 |
|
|
4
|
可满足性问题生物砖翻转细胞计算模型 |
陈梅
陈向群
张路
许进
|
《计算机学报》
EI
CSCD
北大核心
|
2013 |
1
|
|
|
5
|
一种具有CDH问题安全性基于身份的签名方案 |
陈辉焱
刘乐
张晨晨
|
《计算机工程》
CAS
CSCD
北大核心
|
2018 |
2
|
|
|
6
|
命题逻辑可满足性问题的算法分析 |
李未
黄雄
|
《计算机科学》
CSCD
北大核心
|
1999 |
12
|
|
|
7
|
可满足性问题生物芯片DNA算法 |
马莹
殷志祥
方欢
|
《计算机应用研究》
CSCD
北大核心
|
2017 |
7
|
|
|
8
|
平台沉垫波浪力工程计算与坐底稳定性 |
潘斌
顾剑民
|
《海洋工程》
CSCD
北大核心
|
1993 |
2
|
|
|
9
|
复杂性科学视野中的还原论问题 |
张本祥
颜泽贤
|
《复杂系统与复杂性科学》
EI
CSCD
|
2005 |
1
|
|
|
10
|
计算机动态测验中问题解决过程策略的分析:多水平混合IRT模型的拓展与应用 |
李美娟
刘玥
刘红云
|
《心理学报》
CSSCI
CSCD
北大核心
|
2020 |
12
|
|
|
11
|
基于代数等价路径的一致P-函数非线性互补问题的可行内点算法 |
王浚岭
|
《应用数学》
CSCD
北大核心
|
2007 |
3
|
|
|
12
|
四维空间中投影的可见性问题 |
张起生
|
《图学学报》
CSCD
|
1989 |
4
|
|
|
13
|
求解一类线性问题的两种迭代算法的并行性能分析 |
罗掌华
|
《广西师范大学学报（自然科学版）》
CAS
|
2001 |
1
|
|
|
14
|
一个约束可满足性问题的演化算法求解 |
李景治
康立山
方宁
|
《计算机科学》
CSCD
北大核心
|
2004 |
0 |
|
|
15
|
一个求解P_*(κ)线性互补问题的高阶Dikin型仿射尺度算法 |
张明望
|
《兰州理工大学学报》
CAS
北大核心
|
2006 |
1
|
|
|
16
|
可满足性问题的三维DNA图结构算法 |
刘光武
刘文斌
|
《计算机工程与应用》
CSCD
北大核心
|
2003 |
0 |
|
|
17
|
一种规约于可满足性问题(SAT)的知识推理算法 |
苏开乐
陈清亮
岳伟亚
|
《计算机科学与探索》
CSCD
|
2007 |
0 |
|
|
18
|
论计算机检索服务中的模糊对消问题 |
温有奎
|
《大学图书馆通讯》
|
1986 |
0 |
|
|
19
|
关于存款货币必要量的计算问题 |
张合金
|
《中央财经大学学报》
|
1985 |
0 |
|
|
20
|
求解可满足性问题的改进的模拟退火算法 |
谭用秋
杨克昌
方建超
|
《计算机工程与应用》
CSCD
北大核心
|
2002 |
2
|
|
