搜索结果: 1-4 共查到“知识要闻 SMT”相关记录4条 . 查询时间(0.046 秒)
中国科学院软件所分布式SMT求解器研究工作获CAV杰出论文奖（图）
系统 结构 非线性算术
2024/9/20
2024年7月25日，中国科学院软件研究所基础软件与系统重点实验室（计算机科学国家重点实验室）的论文Distributed SMT Arithmetic Theories Solving Based on Dynamic Variable－level Partitioning在形式化验证领域国际旗舰会议Computer Aided Verification（CAV 2024）上荣获杰出论文奖（CA...
中国自主研发求解器首获国际SMT比赛冠军
求解器 整数差分逻辑(QF_IDL)组 冠军
2021/8/17
近日，形式化验证顶级会议CAV 2021会议公布了第十六届国际可满足性模理论比赛(SMT-COMP 2021)比赛结果，中国科学院软件研究所（以下简称软件所）研究员蔡少伟带领团队研发的求解器荣获整数差分逻辑(QF_IDL)组冠军。这也是中国团队首次在SMT-COMP比赛中获得冠军。
近日，形式化验证顶级会议CAV 2021会议公布了第十六届国际可满足性模理论比赛(SMT-COMP 2021)比赛结果。中国科学院软件研究所计算机科学国家重点实验室蔡少伟研究员与其学生李博涵、张昕荻研发的求解器荣获整数差分逻辑(QF_IDL)组冠军，这是中国团队首次在SMT-COMP比赛中获得冠军。
第四届清华得可SMT奖学金在北京颁奖
第四届 清华得可SMT奖学金 北京
2014/6/6
2014年6月6日上午，第四届“清华得可SMT奖学金”颁奖典礼在清华大学举办，共有15名学生获奖。清华得可SMT奖学金每年选拔15名参与清华大学辖下清华—伟创力SMT实验室所提供课程，并为成绩优异的学生提供奖学金奖励，奖学金评定标准主要包括学生专业成绩和综合能力。