Decision Procedures:An Algorithmic Point of View, 2nd Edition

Decision Procedures:An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Author:Daniel Kroening and Ofer Strichman
Publisher Finelybook 出版社:Springer; 2nd ed. 2016 edition (January 27, 2017)
Language 语言:English
pages 页数:377 pages
ISBN-10 书号:3662504960
ISBN-13 书号:9783662504963

Book Description
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry. The authors introduce the basic terminology of satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories:propositional logic; equalities and uninterpreted functions; linear arithmetic; bit vectors; arrays; pointer logic; and quantified formulas.

隐藏内容1积分,请先!没有帐号? 注 册 一个!
觉得文章有用就打赏一下
未经允许不得转载:finelybook » Decision Procedures:An Algorithmic Point of View, 2nd Edition

评论 下载问题及网盘链接失效反馈!

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址

觉得文章有用就打赏一下

支付宝扫一扫打赏

微信扫一扫打赏