Re:Ask HN: As a data scientist, what should be in my toolkit...
by ms013 on Tuesday February 20, 2018 @12:34PM
(#16422121)
One data problem boiled down to being an instance of the set cover problem (https://en.m.wikipedia.org/wiki/Set_cover_problem). Pretty easy to pose as an integer constraint problem, and Z3 solved it in about 20 minutes for me.
[ Parent
| on HN ]
There are no comments on this comment yet.