📖 书目详情
判定过程—SAT与SMT求解算法—an algorithmic point of view
| 著者 | (英)丹尼尔·克勒宁(Daniel Kroening)，(以)奥弗·施特里希曼(Ofter Strichman)著,蔡少伟译 |
| ISBN | 9787115662200 |
| 中图分类 | TP301.6 自动化技术、计算机技术 |
| 学科分类 | 工学 |
| 版次 | 第1版 |
| 出版社 | 人民邮电出版社 |
| 丛书名 | 图灵程序设计丛书 |
| 出版年 | 2025 |
| 页码 | 352页 |
| 价格 | ¥159.80 |
| 可推荐册数 | 请登录后查看 |
| 核心评分 |
8.5/10
|
📝 内容简介
本书介绍了各种可判定的一阶理论及其在自动软件和硬件验证、定理证明与编译器优化等场景中的具体应用，涵盖了可满足性(SAT)求解器和可满足性模理论(SMT)求解器的核心技术，以及命题逻辑、线性算术和位向量等多种建模语言。
🏛️ 本馆馆藏信息
本馆暂无该书的馆藏记录，可在线借购