nganhkhoa/CTF-All-In-One
1
0
Fork 0
mirror of https://github.com/nganhkhoa/CTF-All-In-One.git synced 2024-10-18 17:02:52 +07:00
Code Issues Projects Releases Wiki Activity
master
CTF-All-In-One/doc/5.8_sat-smt.md

9 lines
308 B
Markdown
Raw Permalink Normal View History

add 5.8; update 4.5
2017-11-25 15:45:09 +07:00
# SAT/SMT
- [参考资料](#参考资料)
## 参考资料
use markdownlint
2018-08-05 16:43:10 +07:00
add 5.8; update 4.5
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)
fix
2018-05-22 14:21:13 +07:00
- [Practical Symbolic Execution and SATisfiability Module Theories (SMT) 101](http://deniable.org/reversing/symbolic-execution)
Reference in New Issue Copy Permalink