Decision Procedures: An Algorithmic Point of View

by ,

Write The First Customer Review
Decision Procedures: An Algorithmic Point of View - Kroening, Daniel, and Strichman, Ofer
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency
Cash for Textbooks

Textbook Buyback

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 ...

Decision Procedures: An Algorithmic Point of View 2018, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Berlin

ISBN-13: 9783662570654

Softcover reprint of the original 2nd edition 2016

Paperback

Select
Decision Procedures: An Algorithmic Point of View 2017, Springer

ISBN-13: 9783662504963

2nd edition

Hardcover

Select
Decision Procedures: An Algorithmic Point of View 2010, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Berlin

ISBN-13: 9783642093449

Paperback

Select
Decision Procedures: An Algorithmic Point of View 2008, Springer, Berlin, Germany

ISBN-13: 9783540741046

2008 edition

Hardcover

Select