交互式定理证明工具和证明自动化技术研究

工具

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

中国科学院软件研究所其他项目

• 面向EDA应用的基于电路学习的SAT和SMT混合求解方法（国自然，吴志林，2025）
• 教育智能体陪伴学习下的认知耦合理论和关键技术研究（国自然，周超，2025）
• 大模型情感价值对齐认知及可信决策理论研究（国自然，孙乐，2025）
• 面向数据通路逻辑等价性验证的并行SAT求解技术研究（国自然，张昕荻，2025）
• 面向自监督表示学习的因果机理和方法研究（国自然，强文文，2025）
• 面向跨平台互操作的分布式数字身份信任机制研究（国自然，徐静，2025）
• 软硬协同的机密计算操作系统高可扩展性研究（国自然，李明煜，2025）
• 基于物理引导和因果干预的声纳图像跨场景识别方法（国自然，李雪薇，2025）

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

• 算法洛瓦兹局部引理：冲破Shearer边界的束缚（国自然，刘兴武，2020）
• 面向多业态多用户边缘车载云服务的任务安全卸载与可靠调度系统研究（国自然，任爽，2020）
• 参数近似算法（国自然，郭炅，2020）
• 基于指数时间假设的纳什均衡算法与复杂性研究（国自然，刘正阳，2020）
• 命题公式的结构熵在信息传播算法求解SAT问题中的应用研究（国自然，王晓峰，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）