Daniel Kroening and Ofer Strichman: Decision Procedures – An Algorithmic Point of View
Springer, 2016, 356 pages, ISBN 978-3-662-57065-4
This book, entitled Decision Procedures – An Algorithmic Point of View, successfully describes and explains algorithmic solutions to decision problems. It is well-suited for use as a textbook and as a developer reference. The book precisely describes a series of algorithms used by decision procedures and also includes many worked out examples accompanied by a library that includes implementations of the algorithms.