基于扩展规则的SAT问题不完备求解方法研究

工具

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

该负责人其他项目

• 图神经网络中的隐私保护理论和方法研究（国自然，王金艳，2021）
• 数据流发布中的隐私保护理论和方法研究（国自然，王金艳，2015）
• 沙尘输送对城市大气污染物叠加或置换的健康效应研究（国自然，王金艳，2015）
• 中国共产党城市接管史研究（国社科，王金艳，2012）
• 输送过程中沙尘毒性变化及其对人体呼吸系统急性健康效应的数值模拟研究（国自然，王金艳，2011）
• 中国共产党城市接管史研究（国自然，王金艳）

广西师范大学其他项目

• 县域老年人急难愁盼问题识别及支持研究（国社科，石大建，2025）
• 民族村寨非遗旅游的富民机制、效应与策略研究（国社科，孙琳，2025）
• 体文旅融合对银发消费场景创新的促进路径与支持体系研究（国社科，叶劭纬，2025）
• 西南边疆农村健身设施“建管用”效能提升的机制障碍与靶向治理研究（国社科，赵金国，2025）
• 唯物史观视域下人工智能发展的文明意蕴研究（国社科，蒋红群，2025）
• 基于多模态数据中青年肥胖风险分层评估与体医融合干预策略研究（国社科，蒿莹莹，2025）
• 面向人工智能的句法认知计算研究（国社科，陆前，2025）
• 推动生育成本合理分担的财政金融协同支持政策研究（国社科，喻微锋，2025）

人工智能基础学科其他项目

• 循环神经网络的离散分数阶建模、动力学分析与优化（国自然，吴国成，2020）
• 考虑时间不确定性的深空探测器任务规划与执行方法研究（国自然，李朝玉，2020）
• 面向高维多目标优化问题的多边形辅助进化算法研究（国自然，李军华，2020）
• 多种噪声驱动的随机耦合时滞神经网络的稳定性与控制（国自然，宋银芳，2020）
• 机械臂控制中不同层时变问题求解的神经动力学研究（国自然，李健，2020）
• 交互式演化多目标优化中决策者偏好信息模型与算法研究（国自然，李珂，2020）
• 基于子空间搜索潜力的多种群动态约束优化方法（国自然，李长河，2020）
• 融合多样化样本信息的动态数据粒计算建模（国自然，谭安辉，2020）

相关期刊推荐

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

• Nature Machine Intelligence（IF 29.800，JCR Q1）
• IEEE Transactions on Pattern Analysis and Machine Intelligence（IF 20.400，JCR Q1）
• IEEE Transactions on Neural Networks and Learning Systems（IF 9.700，JCR Q1）
• AI Open（IF 8.900，JCR Q1）
• Machine Learning and Knowledge Extraction（IF 8.400，JCR Q1）