虽然标题有点“扎眼”[允悲]，出版社的官宣还是转发一下，包含我写的译序和几个大佬的推荐理由。这本教材应该是目前为止约束求解方向唯一的中文教材，原书也是目前唯一系统介绍SMT（一阶理论判定问题）的教材。
该方向是EDA，软件验证，自动推理，密码分析等重要领域的重要技术。
相关关键词：数理逻辑，自动推理，形式化方法，求解器。『约束求解领域大佬蔡少伟倾力翻译，这本全球经典教材终于有了中文版！』http://t.cn/AXzw9UR3