search for books and compare prices
cover image
Decision Procedures: An Algorithmic Point of View
The price is the lowest for any condition, which may be new or used; other conditions may also be available. Rental copies must be returned at the end of the designated period, and may involve a deposit.
Jump down to see edition details for: Hardcover | Paperback
Bibliographic Detail
Publisher Springer Verlag
Publication date July 4, 2008
Pages 320
Binding Paperback
Book category Adult Non-Fiction
ISBN-13 9783642093449
ISBN-10 3642093442
Original list price $69.95
Summaries and Reviews description: Product Description:

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.

Book cover for 9783540741046 Book cover for 9783662504963
With Daniel Kroening | 2 edition from Springer-Verlag New York Inc (November 7, 2016)
9783662504963 | details & prices | List price $59.99
With Randal E. Bryant (other contributor), Daniel Kroening | from Springer-Verlag New York Inc (July 4, 2008)
9783540741046 | details & prices | 304 pages | 6.25 × 9.25 × 0.75 in. | 1.55 lbs | List price $69.95
Book cover for 9783642093449
The price comparison is for this edition
With R. E. Bryant (other contributor), Daniel Kroening | from Springer Verlag (July 4, 2008)
9783642093449 | details & prices | 320 pages | List price $69.95
About: A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer.

Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. is not a bookseller, just an information source.