面向世界科技前沿,面向国家重大需求,面向国民经济主战场,率先实现科学技术跨越发展,率先建成国家创新人才高地,率先建成国家高水平科技智库,率先建设国际一流科研机构。

——中国科学院办院方针

首页 > 一线动态

软件所团队获SAT 2020国际比赛冠军

2020-07-22 软件研究所
【字体:

语音播报

  近日,中国科学院软件研究所计算机科学国家重点实验室研究员蔡少伟团队研发的求解器在SAT Competition 2020中获Main Track SAT冠军。
  布尔可满性问题(SAT)是计算机科学的经典问题,也是历史上第一个被证明为NP完全的问题,不仅具有重要的理论研究价值,还在工业领域尤其是软硬件验证中具有广泛应用。例如,Intel芯片和Windows操作系统验证中都用到了SAT求解器。软件所研究团队提出了松弛子句冲突学习方法,采取变元重分配策略,提高了主流SAT方法的寻解能力。
  国际SAT学会自2002年以来每年(或每两年)组织SAT Competition,至今已经举办了13届。SAT Competition 2020由第23届可满足性测试理论与应用国际会议SAT 2020组织举办。由美国康奈尔大学、加拿大多伦多大学、英国曼彻斯特大学、俄罗斯科学院、法国国家信息与自动化研究所等国际知名高校、科研院所研发的68个求解器参加此次比赛。
 
打印 责任编辑:江澄

扫一扫在手机打开当前页

© 1996 - 中国科学院 版权所有 京ICP备05002857号 京公网安备110402500047号

地址:北京市三里河路52号 邮编:100864

电话: 86 10 68597114(总机) 86 10 68597289(值班室)

编辑部邮箱:casweb@cashq.ac.cn

  • 国产女厕偷窥系列在线视频,鸭王在线观看,淘剧影院