Decision procedures: an algorithmic point of view Kroening, Daniel

By:

Kroening, Daniel

Contributor(s):

Strichman, Ofer

Material type: Text

TextSeries: Texts in theoretical computer science, an EATCS seriesPublication details: 2008 Springer-Verlag HeidelbergDescription: xvi, 304 pISBN:

9783540741046

Subject(s):

Algorithm

DDC classification:

005.12 K7D3

Summary: 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. (http://www.springer.com)

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Book	Ahmedabad	005.12 K7D3 (Browse shelf(Opens below))	Available		173120

Total holds: 0

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. (http://www.springer.com)

There are no comments on this title.

to post a comment.