7月8日,在意大利阿尔盖罗结束的第26届可满足性测试理论与应用国际会议(The 26th International Conference on Theory and Applications of Satisfiability Testing)中,我校威尼斯欢乐娱人v3676系统可信性自动验证国家地方联合工程实验室徐扬教授团队取得优异成绩,李志辉副教授小组研发的求解器“CaDiCaL-Scave”获得Main组第二名。可满足性测试理论与应用国际会议(SAT)是专注于命题可满足性问题的理论与应用的研究人员的顶级年度会议, ...