近日，中国科学院软件研究所计算机科学国家重点实验室研究员蔡少伟团队研发的求解器在SAT Competition 2020中获Main Track SAT冠军。

　　布尔可满性问题（SAT）是计算机科学的经典问题，也是历史上第一个被证明为NP完全的问题，不仅具有重要的理论研究价值，还在工业领域尤其是软硬件验证中具有广泛应用。例如，Intel芯片和Windows操作系统验证中都用到了SAT求解器。软件所研究团队提出了松弛子句冲突学习方法，采取变元重分配策略，提高了主流SAT方法的寻解能力。

　　国际SAT学会自2002年以来每年（或每两年）组织SAT Competition，至今已经举办了13届。SAT Competition 2020由第23届可满足性测试理论与应用国际会议SAT 2020组织举办。由美国康奈尔大学、加拿大多伦多大学、英国曼彻斯特大学、俄罗斯科学院、法国国家信息与自动化研究所等国际知名高校、科研院所研发的68个求解器参加此次比赛。