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

【期数】：2009年01期

【作者】：冯世光;沈榆平

【摘要】：由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所和德国Paderborn大学数学与计算机学院联合主办的第11届可满足性理论及其应用(SAT2008)国际学术年会于2008年5月12～15日在广州隆重召开。