Just added about cracking simple hash-function using Z3 SMT-solver (page 393): //yurichev.com/writings/RE_for_beginners-en.pdf. This can be interesting for computer programmers in general, not just to reverse engineers.
Another my article about it Z3 SMT-solver: //yurichev.com/writings/z3_rockey.pdf
Please also do not hesitate writing me any comments, I really need feedback!
This open sourced site and this page in particular is hosted on GitHub. Patches, suggestions and comments are welcome.
→ [list of blog posts, my twitter/facebook]