Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant.

Author/creator Kroening, Daniel
Other author Strichman, Ofer.
Format Book
Publication InfoBerlin : Springer, ©2008.
Descriptionxvi, 304 pages : illustrations ; 24 cm.
Subjects
Decision making--Mathematical models.
Algorithms.
Logic, Symbolic and mathematical.

SeriesTexts in theoretical computer science, 1862-4499
Texts in theoretical computer science. ^A393180
Contents Introduction 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.
Bibliography noteIncludes bibliographical references (p. [285]-297) and index.
LCCN 2008924795
ISBN3540741046
ISBN9783540741046