命题公式的结构熵在信息传播算法求解SAT问题中的应用研究

工具

查询更多基金项目 | 智能选刊推荐

该负责人其他项目

• 番茄SlPLL5介导BR和ABA信号交叉调控的分子机理及农学价值（国自然，王晓峰，2023）
• 增量小样本深度伪造检测方法研究（国自然，王晓峰，2023）
• 叶绿素电聚合薄膜的制备表征及其在全叶绿素生物太阳能电池中的应用研究（国自然，王晓峰，2022）
• 反应诱发微小异相与钢中细小夹杂物深度去除行为研究（国自然，王晓峰，2021）
• 外泌体miR-543调控CAFs与M2型巨噬细胞活化形成正反馈环路促进胰腺癌转移的机制研究（国自然，王晓峰，2020）
• 单糖直接转化制DMF的双功能催化剂可控构建及催化机理研究（国自然，王晓峰，2020）
• 紫景天总黄酮通过调控NF-κB信号通路抑制牙周炎骨吸收的实验研究（国自然，王晓峰，2019）

北方民族大学其他项目

• 过渡期后六盘山片区防止规模性返贫与农村低收入人口常态化帮扶衔接机制研究（国社科，刘七军，2025）
• “四链”融合提升西部县域特色产业韧性的机制与路径研究（国社科，光晖，2025）
• 河西走廊多民族共享文化符号研究（国社科，冯雪红，2025）
• 西北地区饮食文化促进民族交往交流交融的机制研究（国社科，海涛，2025）
• 人-智交互式注意力赋能“专精特新”中小企业韧性提升的路径研究（国社科，王楠，2025）
• 进一步推动西北内陆与东部沿海地区协同发展机制研究（国社科，王瑛，2025）
• 清末民国旗人群体文学研究（国社科，施文斐，2025）
• 谢觉哉生平史料整理与研究（国社科，吴尹浩，2025）

计算机科学的基础理论学科其他项目

• 算法洛瓦兹局部引理：冲破Shearer边界的束缚（国自然，刘兴武，2020）
• 面向多业态多用户边缘车载云服务的任务安全卸载与可靠调度系统研究（国自然，任爽，2020）
• 参数近似算法（国自然，郭炅，2020）
• 交互式定理证明工具和证明自动化技术研究（国自然，詹博华，2020）
• 基于指数时间假设的纳什均衡算法与复杂性研究（国自然，刘正阳，2020）
• 面向完整性和可用性的智能合约形式化分析与修复方法研究（国自然，李希萌，2020）
• 基于知识图谱表示的多模态数据特征提取与融合研究（国自然，高岭，2020）
• 基于信息论框架的无验证信息收集机制的研究（国自然，孔雨晴，2020）

相关期刊推荐

该学科领域可投稿的高影响期刊：

• ACM Computing Surveys（IF 30.400，JCR Q1）
• Nature Machine Intelligence（IF 29.800，JCR Q1）
• IEEE Transactions on Pattern Analysis and Machine Intelligence（IF 20.400，JCR Q1）
• Nature Computational Science（IF 20.300，JCR Q1）
• Journal of Big Data（IF 10.800，JCR Q1）