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: | 56 |
| 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 Software Innovation, pdf file on 129 pages by Jeremy Rose.
Download free course Ernst Denert Award for Software Engineering 2019, pdf file on 142 pages by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer.
Download free course Information technology project managers' competencies, pdf file on 269 pages by Carl Marnewick, Wikus Erasmus, Nazeer Joseph.
Download free course Azure Tips and Tricks, pdf file on 67 pages by by Michael Crump.
Download free course Computational Thinking Education, pdf file on 377 pages by Siu-Cheung Kong, Harold Abelson.