|
Books > Computing & IT > General theory of computing > Data structures
|
Buy Now
Decision Procedures - An Algorithmic Point of View (Hardcover, 2nd ed. 2016)
Loot Price: R3,530
Discovery Miles 35 300
|
|
|
Decision Procedures - An Algorithmic Point of View (Hardcover, 2nd ed. 2016)
Series: Texts in Theoretical Computer Science. An EATCS Series
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
