12月14日，学院教师罗茂参加“中国计算机学会（CCF）武汉会员活动中心2024年会”，并在大会上作题为“SAT求解器设计及其应用”的主题报告。

主题报告首先从通用SAT求解器设计的角度，介绍了团队在化简方面的工作；接着从专用SAT求解器设计的角度，介绍了团队面向抽象辩论框架问题上分支策略方面的工作；最后展示了团队将SAT求解器应用于电子设计自动化EDA方面取得的阶段性成果。会后，针对如何将NP问题求解算法应用于实际工业场景的问题，部分专家学者与罗茂老师进行了深入探讨。本次交流也进一步加强了我院与武汉计算机领域各大高校专家学者的联系，有效提升了我院的学术影响力。

据悉，CCF武汉会员活动中心（简称：CCF武汉）成立于2012年11月24日。本次论坛分别面向武汉地区高校青年教师和优秀博士生，共邀请到由武汉地区各高校推荐的13位青年教师和10位优秀博士生，报告主题涵盖计算机系统结构、计算机理论、人工智能、信息安全、生物信息学等领域。