https://github.com/hengxin/sat-smt-satisfying
SAT and SMT
https://github.com/hengxin/sat-smt-satisfying
formal-methods sat smt
Last synced: 17 days ago
JSON representation
SAT and SMT
- Host: GitHub
- URL: https://github.com/hengxin/sat-smt-satisfying
- Owner: hengxin
- License: mit
- Created: 2020-04-14T00:54:41.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2023-07-23T01:24:04.000Z (over 2 years ago)
- Last Synced: 2025-08-20T22:50:18.002Z (2 months ago)
- Topics: formal-methods, sat, smt
- Language: Jupyter Notebook
- Size: 86.2 MB
- Stars: 6
- Watchers: 6
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# sat-smt-satisfying
SAT and SMT
## Roadmap
### Theory
- [SMT:CACM2011](resources/papers/CACM2011%20Satisfiability%20Modulo%20Theories%20Introduction%20and%20Applications.pdf)
> A general introduction to SMT and its applications.
- [(coursera) Automated Reasoning: Satisfiability](https://www.coursera.org/learn/automated-reasoning-sat)
- [An Introduction to SAT and SMT 2020](https://www.bilibili.com/video/BV1Xa4y1e7wT?p=5&share_source=copy_web)
> A course on the theory of SAT and SMT
- [A Peek Inside SAT Solvers](https://www.bilibili.com/video/BV18X4y1g7ew?share_source=copy_web)
> Learn the first 3 lectures of the course above, then you can watch this video lecture.
> A general introduction to the theory of SAT and SMT
- [SAT Solving by Shaowei Cao](https://www.bilibili.com/video/BV1Sq4y1G7eC?share_source=copy_web)
> The history, state-of-the-art, and future of the SAT Solving problem
- [Deep Cooperation of CDCL and Local Search for SAT by Shaowei Cao](https://www.bilibili.com/video/BV1Rq4y1T7Tb?share_source=copy_web)
- [Donald Knuth: Book on Satisfiability](resources/books/Knuth%20Satisfiability.pdf)
> Vol 4, Fascicle 6 of TAOCP
- [Donald Knuth: Lecture on Satisfiability](https://www.bilibili.com/video/BV1Dq4y1A7st?share_source=copy_web)
> A brief introduction to Vol 4, Fascicle 6 of TAOCP; Watch this video lecture before read the book
- [Handbook of Satisfiability](resources/books/Handbook%20of%20Satisfiability%202009.pdf)
### Practice
- [SAT SMT by Examples](resources/books/SAT%20SMT%20by%20Examples%20(20210419).pdf)
> An excellent book
### Applications