|
Showing 1 - 3 of
3 matches in All Departments
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.
|
Noble (Paperback)
R. E. Bryant
bundle available
|
R562
Discovery Miles 5 620
|
Ships in 10 - 15 working days
|
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Poor Things
Emma Stone, Mark Ruffalo, …
DVD
R449
R329
Discovery Miles 3 290
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.