Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

3.5 avg rating
( 6 ratings by Goodreads )
 
9783642093449: Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.

"synopsis" may belong to another edition of this title.

Review:

From the reviews:

“The topic of this book is decision procedures for first-order theories ... . it is one of the first to capture the essential concepts of SMT in a book. ... relevant to those wishing to understand the area today. ... the book more accessible to those without a strong background in mathematical logic.” (Clark Barrett, Journal of Automated Reasoning, Vol. 51, 2013)

"This book is a developed version of classroom notes for a course on decision procedures, intended for undergraduate and graduate students ... . The developments are intended for programmers who need to know about the algorithms that solve their particular problems, as well as for students and researchers who need to know how to define such algorithms in the framework of appropriate logics. ... Overall, the book is well structured ... ." (Siva Anantharaman, Mathematical Reviews, Issue 2009 m)

"There are a number of things that I like about the book. Although the material is often complex, the exposition is extremely clear, precise and meticulous. A definition is almost always followed by a clarifying example. As noted above, Kroening and Strichman go to great efforts to explain the notations used. In fact, I'd be hard pressed to think of another text on an advanced subject that does so much to make the material accessible to the reader." (K. Harrow, ACM Computing Reviews, September, 2008)

"This book has two topics as main points: ‘decision procedures’ and ‘algorithms to be applied for these decisions’. ... Such an approach is very useful for graduate students or students in year four or five ... . Each chapter introduces and explains a lot of different concepts and presents good examples, some problems and exercises with algorithm-based solutions, and a glossary at its end, which makes the book very applicable and readable. ... The book is very well written and interesting to read." (Christian Posthoff, Zentralblatt MATH, Vol. 1149, 2008)

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 69.95
US$ 62.30

Convert Currency

Shipping: US$ 4.92
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Kroening, Daniel
Published by Springer (2016)
ISBN 10: 3642093442 ISBN 13: 9783642093449
New Paperback Quantity Available: 1
Print on Demand
Seller
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9783642093449_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 62.30
Convert Currency

Add to Basket

Shipping: US$ 4.92
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Daniel Kroening
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2010)
ISBN 10: 3642093442 ISBN 13: 9783642093449
New Quantity Available: > 20
Print on Demand
Seller
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2010. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # LQ-9783642093449

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 56.63
Convert Currency

Add to Basket

Shipping: US$ 11.45
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

DANIEL KROENING
Published by Springer (2010)
ISBN 10: 3642093442 ISBN 13: 9783642093449
New Paperback Quantity Available: 10
Seller
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2010. Paperback. Book Condition: NEW. 9783642093449 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0351566

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 58.97
Convert Currency

Add to Basket

Shipping: US$ 10.18
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Daniel Kroening
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2010)
ISBN 10: 3642093442 ISBN 13: 9783642093449
New Quantity Available: > 20
Print on Demand
Seller
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2010. PAP. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IQ-9783642093449

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 67.14
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

5.

Daniel Kroening; Ofer Strichman
Published by Springer (2010)
ISBN 10: 3642093442 ISBN 13: 9783642093449
New Paperback Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Springer, 2010. Paperback. Book Condition: New. book. Bookseller Inventory # 3642093442

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 73.57
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

6.

Kroening, Daniel; Strichman, Ofer; Bryant, R.E. [Foreword]
Published by Springer (2010)
ISBN 10: 3642093442 ISBN 13: 9783642093449
New Paperback Quantity Available: 10
Print on Demand
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2010. Paperback. Book Condition: New. This item is printed on demand. Bookseller Inventory # INGM9783642093449

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 79.29
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

7.

Daniel Kroening, Ofer Strichman
Published by Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany (2010)
ISBN 10: 3642093442 ISBN 13: 9783642093449
New Paperback Quantity Available: > 20
Print on Demand
Seller
The Book Depository EURO
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, 2010. Paperback. Book Condition: New. 1st ed. Softcover of orig. ed. 2008. 236 x 155 mm. Language: English . Brand New Book ***** Print on Demand *****.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. Bookseller Inventory # AAV9783642093449

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 94.32
Convert Currency

Add to Basket

Shipping: US$ 3.81
From United Kingdom to U.S.A.
Destination, Rates & Speeds

8.

Daniel Kroening
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN 10: 3642093442 ISBN 13: 9783642093449
New Paperback Quantity Available: 20
Seller
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH & Co. K. Paperback. Book Condition: New. Paperback. 306 pages. Dimensions: 9.3in. x 6.1in. x 0.8in.A decision procedure is an algorithm that, given a decision problem, terminates with a correct yesno 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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Bookseller Inventory # 9783642093449

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 103.36
Convert Currency

Add to Basket

Shipping: US$ 3.95
Within U.S.A.
Destination, Rates & Speeds

9.

Daniel Kroening
Published by Springer Berlin Heidelberg (2008)
ISBN 10: 3642093442 ISBN 13: 9783642093449
New Paperback Quantity Available: 1
Seller
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Springer Berlin Heidelberg, 2008. Paperback. Book Condition: Brand New. softcover reprint of hardcover 1st ed. 2008 edition. 320 pages. 9.30x6.10x0.80 inches. In Stock. Bookseller Inventory # __3642093442

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 132.39
Convert Currency

Add to Basket

Shipping: US$ 7.63
From United Kingdom to U.S.A.
Destination, Rates & Speeds