Decision Procedures An Algorithmic Point of View /

Mostrar otras versiones (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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Kroening, Daniel (Autor), Strichman, Ofer (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Texts in Theoretical Computer Science. An EATCS Series,
Temas:
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.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares