『国际顶尖学者合著，约束求解领域经典著作，系统解析 SAT 与 SMT！』http://t.cn/AX7zBWPh
翻译了一本约束求解的经典教材，系统介绍SAT和SMT求解器的算法、原理以及应用，希望对国内约束求解领域的发展能起到绵薄之力。
ps. 2023年我们组织的约束求解 公开课，其中SMT部分的内容是配合这个教材讲的，可以配套看，B站和寇享上有课程视频。
发布于 北京
蔡少伟