CTF-All-In-One/doc/5.8_sat-smt.md

9 lines
308 B
Markdown
Raw Normal View History

2017-11-25 15:45:09 +07:00
# SAT/SMT
- [参考资料](#参考资料)
## 参考资料
2018-08-05 16:43:10 +07:00
2017-11-25 15:45:09 +07:00
- [Quick introduction into SAT/SMT solvers and symbolic execution](https://yurichev.com/writings/SAT_SMT_draft-EN.pdf)
2018-05-22 14:21:13 +07:00
- [Practical Symbolic Execution and SATisfiability Module Theories (SMT) 101](http://deniable.org/reversing/symbolic-execution)