中国科学院软件研究所，蔡少伟

1.基本信息

中国科学院软件研究所研究员蔡少伟，男性，博导，毕业于北京大学。通信地址位于北京市海淀区中关村南四街4号中国科学院软件园区5号楼218。

2.蔡少伟荣获国际比赛冠军

在第十六届国际可满足性模理论比赛(SMT-COMP 2021)上蔡少伟带领团队研发的求解器荣获整数差分逻辑(QF_IDL)组冠军，是中国团队首次在该比赛中夺冠。

3.蔡少伟在SAT领域的研究

蔡少伟副研究员在命题逻辑可满足性问题(SAT)领域进行研究，介绍了基于回溯搜索和基于局部搜索的SAT算法，同时介绍了最新进展。

4.蔡少伟的学术成就

蔡少伟是中国科学院软件研究所研究员、博导，曾在FCS会议上成功入选青年AE，并与学生共同研发的求解器荣获SMT-COMP比赛中冠军。

5.软件研究所的科研体系

中国科学院软件研究所是一所以计算机科学理论、软件高新技术研究为主的研究机构，形成了多个国家重点实验室、工程研究中心为龙头的科研体系。

6.蔡少伟的个人成就与态度

蔡少伟是中科院软件所的研究员，他曾分享自己的研究心得：“我不怕坐冷板凳，怕的是连板凳都没有了。”展现了求解研究者的拼搏精神。