SAT/SMT by Example has been updated

Now ~550pp.

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.