Download free course SAT/SMT by Example, pdf file on 585 pages by Dennis Yurichev.
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.
Table of contents
- Introduction
- Basics
- Equations
- Proofs
- Verification
- Regular expressions
- Gray code
- Recreational mathematics and puzzles
- Graph coloring
- Knapsack problems
- Social Golfer Problem
- Latin squares
- Cyclic redundancy check
- MaxSAT/MaxSMT
- Synthesis
- Toy decompiler
- Symbolic execution
- KLEE
- (Amateur) cryptography
- First-Order Logic
- Cellular automata
- Everything else
- Toy-level solvers
- Glossary (SAT)
- Further reading
- Some applications
- Acronyms used
| Pages : | 585 |
| Size : | 6.1 MB |
| Downloads: | 60 |
| Created: | 2022-02-03 |
| License: | Open Publication License |
| Author(s): | Dennis Yurichev |
Warning: Trying to access array offset on false in /home/tutovnfz/public_html/amp/article-amp.php on line 263
Others related eBooks about SAT/SMT by Example
Download free course What Is Data Science?, pdf file on 17 pages by Mike Loukides.
Download free course Handbook of Vascular Biometrics, pdf file on 535 pages by Andreas Uhl, Christoph Busch, Sébastien Marcel, Raymond Veldhuis.
Download free course Intelligence Unleashed, pdf file on 60 pages by Rose Luckin, Wayne Holmes, Mark Griffiths, Laurie B. Corcier.
Download free course The NGINX Real-Time API Handbook, pdf file on 26 pages by Karthik Krishnaswamy, Alessandro Fael García.
Download free course Projection-Based Clustering through Self-Organization and Swarm Intelligence, pdf file on 210 pages by Michael Christoph Thrun.