位置：立项数据库 > 立项详情页
极小不可满足公式的结构与分类
  • 项目名称：极小不可满足公式的结构与分类
  • 项目类别：面上项目
  • 批准号：61272059
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：赵希顺
  • 依托单位：中山大学
  • 批准年度：2012
赵希顺的项目
度量空间上的计算复杂性理论
　量化线性时序逻辑研究
期刊论文 1
逻辑方法建模中的可满足性广州国际研讨会
第11届可满足性问题的理论与应用国际会议
量化布尔公式的理论与算法研究
期刊论文 18 会议论文 3 著作 1
　表达能力与计算复杂性研究
期刊论文 2
二阶逻辑的表达能力与计算复杂性
期刊论文 15 会议论文 2
　社会博弈的逻辑与计算模拟研究
期刊论文 2
计算机科学的数学基础
度量空间上的计算复杂性的进一步研究