Decision Procedures An Algorithmic Point of View /

• Main Authors: Kroening, Daniel (Author), Strichman, Ofer (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016.
• Edition: 2nd ed. 2016.
• Series: Texts in Theoretical Computer Science. An EATCS Series,
• Subjects: Computer science.; Software engineering.; Computers.; Mathematical optimization.; Computer Science.; Theory of Computation.; Software Engineering/Programming and Operating Systems.; Optimization.

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