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: | 42 |
| Created: | 2022-02-03 |
| License: | Open Publication License |
| Author(s): | Dennis Yurichev |
Others Computer science Tutorials
Others related eBooks about SAT/SMT by Example
A Problem Course in Mathematical LogicA Problem Course in Mathematical Logic is intended to serve as the text for an introduction to mathematical logic for undergraduates with some mathematical sophistication. It supplies definitions, statements of results, and problems, along with some explanations, examples, and hints. The idea is for...
The NGINX Real-Time API HandbookDownload free course The NGINX Real-Time API Handbook, pdf file on 26 pages by Karthik Krishnaswamy, Alessandro Fael García....
How to become an Ethical HackerThis is a series of lessons that's basic about the networking concepts, networking tools, security and countermeasures....
Blazor SuccinctlyDownload free course Blazor Succinctly, pdf file on 86 pages by by Michael Washington....
LaTeX in 24 HoursThis book presents direct and concise explanations and examples to many LaTeX syntax and s..., download free LaTeX tutorial in PDF (309 pages) created by Dilip Datta ....
Medical Imaging SystemsDownload free course Medical Imaging Systems, pdf file on 263 pages by Andreas Maier, Stefan Steidl, Vincent Christlein, Joachim Hornegger....
Autocad : Layers and Layer Dialog BoxThis course intituled Introduction to Layers and Layer Dialog Box is an easy pdf tutorial about AutoCAD designated to beginners....
The Coder's ApprenticeDownload free course The Coder's Apprentice, pdf file on 398 pages by Pieter Spronck....
Using Adobe Soundbouth CS5This PDF tutorial presents an understanding of key audio concepts helps you get the most out of Adobe Soundbooth CS5,download free training document for intermediat level-users....
Tutorials of Visual Graphic Communication Programs for Interior DesignDownload free course Tutorials of Visual Graphic Communication Programs for Interior Design, pdf file on 314 pages by Yongyeon Cho....