4

SAT/SMT by Example has been updated

 3 years ago
source link: https://yurichev.com/blog/20190204/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
SAT/SMT by Example has been updated

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]


report

Recommend

About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK