SAT/SMT by Example
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 |
| File type : | |
| Downloads: | 59 |
| 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/article.php on line 233
Others related eBooks about SAT/SMT by Example
GNU GREP and RIPGREPDownload free course GNU GREP and RIPGREP, pdf file on 111 pages by Sundeep Agarwal....
Think Data StructuresIf you're a student studying computer science or a software developer preparing for techni..., download free Data Structures tutorial in PDF (128 pages) created by ....
Certified Programming with Dependent TypesThe technology of mechanized program verification can play a supporting role in many kinds..., download free Certified Programming tutorial in PDF (368 pages) created by Adam Chlipala ....
Tutorial Photoshop for photographer in PDFLearn how you can retouch photographic images as a professionals correct problems in color quality. Free PDF Tutorial to download about Photoshop for photographie....
Made With Creative CommonsDownload free course Made With Creative Commons, pdf file on 176 pages by Paul Stacey, Sarah Hinchliff Pearson....
AlgorithmsDownload free course Algorithms, pdf file on 472 pages by by Jeff Erickson....
High-Performance Caching with Nginx and Nginx PlusDownload free course High-Performance Caching with Nginx and Nginx Plus, pdf file on 47 pages by Floyd Smith....
Mathematical Applications for Game DevelopmentThis book presents applications of mathematics and science in game and simulation programming. Includes the utilization of matrix and vector operations, kinematics, and Newtonian principles in games and simulations. Also covers code optimization. ...
Pro Git, 2nd EditionPro Git (2nd Edition) is your fully-updated guide to Git and its usage in the modern world..., download free Git tutorial in PDF (456 pages) created by Scott Chacon ....
Engineering Reliable Mobile ApplicationsDownload free course Engineering Reliable Mobile Applications, pdf file on 36 pages by Kristine Chen, Venkat Patnala, Devin Carraway, Pranjal Deo....