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: | 36 |
Created: | 2022-02-03 |
License: | Open Publication License |
Author(s): | Dennis Yurichev |
Others related eBooks about SAT/SMT by Example
Download free course Cyber-Physical Systems of Systems, pdf file on 270 pages by Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz.
Download free course Code the Classics, pdf file on 224 pages by David Crookes, Andrew Gillett, Liz Upton, Eben Upton, Sean M. Tracey, Dan Malone, Allister Brimble.
Download free course RavenDB in Action, pdf file on 221 pages by Itamar Syn-Hershko.
Download free course The Express Handbook, pdf file on 61 pages by Flavio Copes.
Download free course DevOps for Digital Leaders, pdf file on 176 pages by Aruna Ravichandran, Kieran Taylor, Peter Waterhouse.