Terug Terug

Decision Procedures An Algorithmic Point of View

Name: Decision Procedures
Author: Daniel Kroening

Auteur: Daniel Kroening

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Daniel Kroening Ofer Strichman

Co-auteur: Ofer Strichman

Engels
Hardcover
9783540741046
23 mei 2008
306 pagina's

Alle productspecificaties

Samenvatting

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer.

The authors introduce the basic terminology of satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories: propositional logic;

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 theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry.

The authors introduce the basic terminology of satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories: propositional logic; equalities and uninterpreted functions; linear arithmetic; bit vectors; arrays; pointer logic; and quantified formulas. They also study the problem of deciding combined theories and dedicate a chapter to modern techniques based on an interplay between a SAT solver and a decision procedure for the investigated theory.

This textbook has been used to teach undergraduate and graduate courses at ETH Zurich, at the Technion, Haifa, and at the University of Oxford. Each chapter includes a detailed bibliography and exercises. Lecturers' slides and a C++ library for rapid prototyping of decision procedures are available from the authors' website.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Hardcover
Oorspronkelijke releasedatum: 23 mei 2008
Aantal pagina's: 306
Illustraties: Nee

Betrokkenen

Hoofdauteur: Daniel Kroening
Tweede Auteur: Ofer Strichman
Co Auteur: Ofer Strichman
Hoofduitgeverij: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Overige kenmerken

Editie: 2008 ed.
Extra groot lettertype: Nee
Product breedte: 163 mm
Product hoogte: 21 mm
Product lengte: 244 mm
Studieboek: Nee
Verpakking breedte: 161 mm
Verpakking hoogte: 25 mm
Verpakking lengte: 246 mm
Verpakkingsgewicht: 636 g

EAN

EAN: 9783540741046

Je vindt dit artikel in

Categorieën: Computers & Informatica

Computertechnologie

Programmeren

Algoritmes & datastructuren

Boeken
Taal: Engels
Boek, ebook of luisterboek?: Boek
Beschikbaarheid: Leverbaar
Studieboek of algemeen: Algemene boeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.