Book Description
SAT/SMT solvers can be viewed as solvers of huge systems of equations. The difference is that SMT solvers takes systems in arbitrary format, while SAT solvers are limited to boolean equations in CNF 1 form. A lot of real world problems can be represented as problems of solving system of equations.
Book Details
- Title: SAT/SMT by Example
- Authors: Dennis Yurichev
- Paperback: 585 pages
- Publication date: 2020
- License: Open Access
Book Download and Read Links
