书目信息 机读格式(MARC)
判定过程:SAT与SMT求解算法
| ISBN/价格： | 978-7-115-66220-0:CNY159.80 |
|---|---|
| 作品语种： | chi eng |
| 出版国别： | CN 110000 |
| 题名责任者项： | 判定过程/.(英)丹尼尔·克勒宁(Daniel Kroening)，(以)奥弗·施特里希曼(Ofter Strichman)著/.蔡少伟译 |
| 出版发行项： | 北京:,人民邮电出版社:,2025.09 |
| 载体形态项： | 352页:;+图:;+24cm |
| 丛编项： | 图灵程序设计丛书 |
| 提要文摘： | 本书介绍了各种可判定的一阶理论及其在自动软件和硬件验证、定理证明与编译器优化等场景中的具体应用，涵盖了可满足性(SAT)求解器和可满足性模理论(SMT)求解器的核心技术，以及命题逻辑、线性算术和位向量等多种建模语言。 |
| 并列题名： | Decision procedures eng |
| 题名主题： | 计算机算法 |
| 中图分类： | TP301.6 |
| 个人名称等同： | 克勒宁 丹尼尔 (英) 著 |
| 个人名称等同： | 施特里希曼 奥弗 (以) 著 |
| 个人名称次要： | 蔡少伟 译 |
| 记录来源： | CN LCTBU 20251023 |