文件名称：Decision Procedures
文件大小：5.83MB
文件格式：PDF
更新时间：2018-02-05 11:56:22
Decision Procedures
Decision Procedures - An Algorithmic Point of View
Decision Procedures
【文件属性】：
网友评论
- The authors introduce the basic terminology of SAT, Satisfiability Modulo Theories (SMT) and the DPLL(T) framework.