搜索结果: 1-2 共查到“知识要闻 SMT”相关记录2条 . 查询时间(0.078 秒)
中国自主研发求解器首获国际SMT比赛冠军
求解器 整数差分逻辑(QF_IDL)组 冠军
2021/8/17
近日,形式化验证顶级会议CAV 2021会议公布了第十六届国际可满足性模理论比赛(SMT-COMP 2021)比赛结果,中国科学院软件研究所(以下简称软件所)研究员蔡少伟带领团队研发的求解器荣获整数差分逻辑(QF_IDL)组冠军。这也是中国团队首次在SMT-COMP比赛中获得冠军。
第四届清华得可SMT奖学金在北京颁奖
第四届 清华得可SMT奖学金 北京
2014/6/6
2014年6月6日上午,第四届“清华得可SMT奖学金”颁奖典礼在清华大学举办,共有15名学生获奖。清华得可SMT奖学金每年选拔15名参与清华大学辖下清华—伟创力SMT实验室所提供课程,并为成绩优异的学生提供奖学金奖励,奖学金评定标准主要包括学生专业成绩和综合能力。