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.
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) book series pdf
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) books pdf online
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) download
No comments:
Post a Comment
Note: Only a member of this blog may post a comment.