Opening book details…
Can I read Decision Procedures || on EtoBox?
Decision Procedures || by Daniel Kroening, Ofer Strichman (auth.) is a computer science book available to read on EtoBox.
What is Decision Procedures || about?
<p>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 g
Who reads Decision Procedures ||?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Daniel Kroening, Ofer Strichman (auth.)
- Publisher
- Springer-Verlag Berlin Heidelberg; Springer
- Published
- 2008
- Language
- EN
- ISBN
- 9783540741046
- Category
- computer science
- Subjects
- Engineering, Mathematics, Science
- Updated
- 2026-03-24
Other editions & translations
More by Daniel Kroening, Ofer Strichman (auth.)
Browse all works by Daniel Kroening, Ofer Strichman (auth.)
Similar books
- Integrating Decision Procedures for Temporal Verification — Nikolaj Skallerud Bjorner (1999)
- The Calculus of Computation : Decision Procedures with Applications to Verification — Aaron R. Bradley, Zohar Manna (2007)
- Saturation-Based Decision Procedures for Extensions of the Guarded Fragment [PhD Thesis] — Yevgeny Kazakov (2006)
- Nursing Procedures — Springhouse Corporation (1996)
- Nursing Procedures and Protocols — Lippincott Williams & Wilkins; Nancy Priff; Jenifer Walker; Michelle Dumpe; Lippincott Williams & Wilkins (2003)
- Decision Procedures for Epistemic Logic Exploiting Belief Bases — Emiliano Lorini; Fabian Romero (1970)