The PDF: https://yurichev.com/writings/SAT_SMT_by_example.pdf.
Other info: https://yurichev.com/SAT_SMT.html.
Thanks to Xenia Galinskaya for carefully planned periods of forced distraction from work...
Also, my math notes has been moved away to a separate PDF: https://yurichev.com/writings/Math-for-programmers.pdf.
→ [list of blog posts]Please drop me email about any bug(s) and suggestion(s): dennis(@)yurichev.com.