1
|
基于CSP的配电网大面积断电供电恢复模型和算法 |
刘栋
陈允平
沈广
樊友平
徐箭
|
《电力系统自动化》
EI
CSCD
北大核心
|
2006 |
20
|
|
2
|
卫星测控资源调度CSP模型研究 |
凌晓冬
武小悦
刘冰
薛国虎
吴金美
|
《系统工程与电子技术》
EI
CSCD
北大核心
|
2012 |
6
|
|
3
|
最小冲突启发式辅助离散的海洋捕食者求解RB模型 |
杨易
王晓峰
华盈盈
杨澜
庞立超
|
《郑州大学学报(理学版)》
北大核心
|
2025 |
0 |
|
4
|
采用二元CSP引擎求解RTL数据通路的可满足性 |
吴为民
|
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
|
2009 |
0 |
|
5
|
弧一致性符号ADD算法及在CSP求解中的应用 |
王腾飞
徐周波
古天龙
|
《计算机科学》
CSCD
北大核心
|
2013 |
3
|
|
6
|
基于学习-推理的约束求解方法研究进展 |
邹悦
赖家洋
张永刚
|
《软件学报》
EI
CSCD
北大核心
|
2024 |
0 |
|
7
|
卫星任务调度问题的约束规划模型 |
陈英武
方炎申
李菊芳
贺仁杰
|
《国防科技大学学报》
EI
CAS
CSCD
北大核心
|
2006 |
28
|
|
8
|
基于约束满足问题的应急决策 |
董存祥
王文俊
杨鹏
|
《计算机工程》
CAS
CSCD
北大核心
|
2010 |
5
|
|
9
|
非二元约束满足问题求解 |
孙吉贵
景沈艳
|
《计算机学报》
EI
CSCD
北大核心
|
2003 |
16
|
|
10
|
可满足问题中的模型计数 |
谷文祥
朱磊
黄平
殷明浩
|
《智能系统学报》
北大核心
|
2012 |
3
|
|
11
|
基于AER模型的配电网大面积断电供电恢复算法 |
徐玉琴
张丽
王增平
|
《电网技术》
EI
CSCD
北大核心
|
2009 |
11
|
|
12
|
一种产生可满足性难解实例的模型 |
沈静
任耀峰
梅丹
杨美妮
|
《海军工程大学学报》
CAS
北大核心
|
2016 |
2
|
|
13
|
基于问题结构的启发式策略在析取时态问题求解中的应用 |
刘越畅
姜云飞
钱红
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2008 |
4
|
|
14
|
一种新的基于完全独立相容性的预处理技术 |
朱兴军
孙吉贵
张永刚
李莹
|
《自动化学报》
EI
CSCD
北大核心
|
2009 |
3
|
|
15
|
基于实例化次数的约束求解方法研究 |
李占山
张乾
张良
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2015 |
5
|
|
16
|
基于GPU的约束网络模型和并行弧相容算法 |
李哲
李占山
李颖
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2017 |
4
|
|
17
|
基于邻居信息聚合的子图同构匹配算法 |
徐周波
李珍
刘华东
李萍
|
《计算机应用》
CSCD
北大核心
|
2021 |
7
|
|
18
|
多值传播的相容性技术 |
朱兴军
张永刚
李莹
张长胜
|
《自动化学报》
EI
CSCD
北大核心
|
2009 |
2
|
|
19
|
一类树型知识库的更新算法 |
马绍汉
hotmail.com
陶雪红
hotmail.com
|
《软件学报》
EI
CSCD
北大核心
|
1999 |
2
|
|
20
|
一类约束满足问题及其算法 |
蒋本铁
毕世飞
|
《东北大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
|
2003 |
2
|
|