Decision Procedures An Algorithmic Point of View /

• Κύριοι συγγραφείς: Kroening, Daniel (Συγγραφέας), Strichman, Ofer (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Σειρά: Texts in Theoretical Computer Science, An Eatcs Series,
• Θέματα: Computer science.; Software engineering.; Computers.; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Theory of Computation.; Software Engineering.

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

Πίνακας περιεχομένων:

• and Basic Concepts
• Decision Procedures for Propositional Logic
• Equality Logic and Uninterpreted Functions
• Decision Procedures for Equality Logic and Uninterpreted Functions
• Linear Arithmetic
• Bit Vectors
• Arrays
• Pointer Logic
• Quantified Formulas
• Deciding a Combination of Theories
• Propositional Encodings.