← 返回

判定过程——SAT与SMT求解算法——an algorithmic point of view

著者(英)丹尼尔·克勒宁(Daniel Kroening)，(以)奥弗·施特里希曼(Ofter Strichman)著,蔡少伟译
ISBN9787115662200
分类号TP301.6 自动化技术、计算机技术
学科工学
版次第1版
出版社人民邮电出版社
丛书名图灵程序设计丛书
出版年2025
价格¥159.80
页码352页
类型 📄 纸质书
核心评分8.6/10
读者对象—
主题词—
内容简介：本书介绍了各种可判定的一阶理论及其在自动软件和硬件验证、定理证明与编译器优化等场景中的具体应用，涵盖了可满足性(SAT)求解器和可满足性模理论(SMT)求解器的核心技术，以及命题逻辑、线性算术和位向量等多种建模语言。
登录后可荐购