极小不可满足公式的结构与分类

工具

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

该负责人其他项目

• 社会博弈的逻辑与计算模拟研究（国社科，赵希顺，2013）
• 度量空间上的计算复杂性的进一步研究（国自然，赵希顺，2011）
• 度量空间上的计算复杂性理论（国自然，赵希顺，2010）
• 二阶逻辑的表达能力与计算复杂性（国自然，赵希顺，2009）
• 计算机科学的数学基础（国自然，赵希顺，2009）
• 第11届可满足性问题的理论与应用国际会议（国自然，赵希顺，2008）
• 逻辑方法建模中的可满足性广州国际研讨会（国自然，赵希顺，2006）
• 量化布尔公式的理论与算法研究（国自然，赵希顺，2005）

中山大学其他项目

• 基于μOCT的血细胞活体动态成像方法研究（国自然，葛昕，2026）
• 声学双曲节点线材料波动和物理效应研究（国自然，郑立洋，2026）
• 带停时与控制的非平稳连续时间Markov博弈（国自然，郭昕，2026）
• 利用新型径迹算法寻找超出标准模型新物理（国自然，刘洋，2026）
• 利用四底夸克末态的双希格斯产生过程研究希格斯自耦合（国自然，石辽珊，2026）
• 非建模引力波搜索与分类的级联式深度学习框架研究（国自然，严建祺，2026）
• 考虑三重孔隙结构特征的岛礁隧洞爆破损伤机理与优化设计研究（国自然，马建军，2026）
• 局部向上非均匀渗流诱发砂层流化-剪切耦合失稳机理研究（国自然，林存刚，2026）

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

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