Kroening Daniel, Strichman Ofer:
Decision Procedures
An Algorithmic Point Of View
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2008
Hardback, 320 pages
Size: 235x155 mm
ISBN: 9783540741046
ISBN-10: 3540741046
List price: £44.99
You save: 15%
Decision Procedures
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. This book focuses on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research.

