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