搜索结果: 1-1 共查到“科学学与科技管理 比赛”相关记录1条 . 查询时间(0.144 秒)
近日，形式化验证会议CAV 2021公布了第十六届国际可满足性模理论比赛（SMT-COMP 2021）结果。中国科学院软件研究所计算机科学国家重点实验室研究员蔡少伟团队研发的求解器获整数差分逻辑（QF_IDL）组冠军，这是中国团队首次在SMT-COMP中获得冠军。