Bookmarks, 02019-05

Last month’s bookmarks from pinboard.in:

• Modern SAT solvers: fast, neat and underused (part 3 of N) — The Coding Nest “In this part, we will look at how SAT solvers work and what heuristics and other tricks they employ in their quest for performance.”

• TF-IDF in a nutshell – Manticore Search “In this article I’ll try to show in very clear examples how TF standing for ‘term frequency’ and it’s counterpart IDF standing for ‘inverse document frequency’ help to find what you’re looking for.”