Decision Procedures
Daniel Kroening, Ofer Strichman
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2018
79,75 €On orderDelivery: 2-3 weeks
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 SAT, Satisfiability Modulo Theories (SMT) and the DPLL(T) framework.
- ISBN-13
- 9783662570654
- ISBN-10
- 3662570653
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Year
- 2018
- Publication date
- 2018-07-13
- Pages
- 356
- Dimensions
- 156x233x24
- Weight
- 582