Decision Procedures An Algorithmic Point of View /

• Κύριοι συγγραφείς: Kroening, Daniel (Συγγραφέας), Strichman, Ofer (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016.
• Έκδοση: 2nd ed. 2016.
• Σειρά: Texts in Theoretical Computer Science. An EATCS Series,
• Θέματα: 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...