Decision Procedures -- An Algorithmic Point of View 上传者：alarm575 2018-12-28 10:09:57上传 PDF文件 2.57MB 热度 49次 SMT求解器技术的理论基础，包括谓词逻辑约束求解、涉及Equality logic和Uninterpreted functions、线性算术、位向量、数组、指针逻辑等理论的约束求解方法等 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
