文件名称：Decision Procedures -- An Algorithmic Point of View
文件大小：2.57MB
文件格式：PDF
更新时间：2021-11-03 06:04:36
SMT求解
SMT求解器技术的理论基础，包括谓词逻辑约束求解、涉及Equality logic和Uninterpreted functions、线性算术、位向量、数组、指针逻辑等理论的约束求解方法等
Decision Procedures -- An Algorithmic Point of View
【文件属性】：