位置：成果数据库 > 会议 > 会议详情页
Complexity Results on Minimal Unsatisfiable Formulas
  • 所属机构名称：中山大学
  • 成果类型：会议
  • 相关项目：量化布尔公式的理论与算法研究
同会议论文项目
量化布尔公式的理论与算法研究
期刊论文 18 会议论文 3 著作 1
同项目会议论文
Real-time Answer Set Programming,
Integrating Nonmonotonic and Temporal Constraint Reasoning