求知、求解：研究求解器的少数者，解决中国“卡脖子”问题的人

图片地址：https://img.ithome.com/newsuploadfiles/2021/9/ba7533bb-d80b-4fe1-8373-468dfdb47375.png

在人工智能时代，他们不做深度学习。蔡少伟清晰地记得，2011 年夏天他去美国密歇根大学安娜堡分校参加 SAT 会议时，一眼望去，全场只有他一个中国人。参会人员一半来自欧洲，四分之一来自北美（尤其是美国），另外四分之一则来自亚太地区。他将自己的“单刀赴会”列为 SAT 2011 一行的两大记忆点之一，另一点是那年大会主席的论文被 SAT 评委“枪毙”了。这是蔡少伟第一次参加 SAT。这个被 CCF 列为 B 类的会议全称为“International Conference on Theory and Applications of Satisfiability Testing”（可满足性判定的理论与应用国际会议），始设于 1997 年，主要面向研究可满足性问题，尤其是布尔可满足性（Boolean Satisfiability Problem，简称“SAT”）问题的科研人员，向来少为中国学者问津。不过，蔡少伟似乎对这份“孤军作战”的