Decision Procedures An Algorithmic Point of View /

Show other versions (1)

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

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Authors: Kroening, Daniel (Author), Strichman, Ofer (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Texts in Theoretical Computer Science. An EATCS Series,
Subjects:
Artificial intelligence.
Machine theory.
Computer science.
Software engineering.
Artificial Intelligence.
Formal Languages and Automata Theory.
Computer Science Logic and Foundations of Programming.
Theory of Computation.
Software Engineering.
Online Access:Texto Completo
Table of Contents:
  • 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.

Similar Items