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: | 51 |
| 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 SLO Adoption and Usage in Site Reliability Engineering, pdf file on 104 pages by Julie McCoy, Nicole Forsgren.
Download free course AI for Everyone?, pdf file on 310 pages by by Pieter Verdegem.
Download free course LaTeX Notes for Professionals, pdf file on 59 pages by Stack Overflow Community.
Download free course Building Games for Firefox OS, pdf file on 125 pages by by Andre Garzia.
Download free course Robotic Process Automation Succinctly, pdf file on 94 pages by Ed Freitas.