可满足性理论及应用研究进展  

作　　者：冯世光[1] 沈榆平[1] 

机构地区：[1]中山大学逻辑与认知研究所

出　　处：《国际学术动态》2009年第1期35-38,共4页International Academic Developments

摘　　要：由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所和德国Paderbom大学数学与计算机学院联合主办的第11届可满足性理论及其应用（SA佗008）国际学术年会于2008年5月12-15日在广州隆重召开。这是计算机科学研究领域的一个重要国际学术年会，也是逻辑与人工智能研究领域的一次顶级国际会议。这次会议是首次在欧美之外的地区举办。

关 键 词：可满足性 应用 国际会议 人文社会科学 学术年会 大学数学 中山大学 研究基地 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构] C0[自动化与计算机技术—计算机科学与技术]