mirror of
https://github.com/nganhkhoa/CTF-All-In-One.git
synced 2024-12-25 11:41:16 +07:00
9 lines
308 B
Markdown
9 lines
308 B
Markdown
# SAT/SMT
|
|
|
|
- [参考资料](#参考资料)
|
|
|
|
|
|
## 参考资料
|
|
- [Quick introduction into SAT/SMT solvers and symbolic execution](https://yurichev.com/writings/SAT_SMT_draft-EN.pdf)
|
|
- [Practical Symbolic Execution and SATisfiability Module Theories (SMT) 101](http://deniable.org/reversing/symbolic-execution)
|