Decision Procedures: An Algorithmic Point of View

by Daniel Kroening and Ofer Strichman

Book Overview

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...

• Format: Paperback
• Language: English
• ISBN: 3662570653
• ISBN13: 9783662570654
• Release Date: July 2018
• Publisher: Springer
• Length: 356 Pages
• Weight: 1.17 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"