2 ms·
This is technically true but practically irrelevant. Case in point, I deployed at Netflix a real-time combinatorial solver specifically for CPU scheduling [1].
by mochomocha 3y ago
This is technically true but practically irrelevant.
Case in point, I deployed at Netflix a real-time combinatorial solver specifically for CPU scheduling [1].
Most real-world combinatorial problems can be solved relatively well. This is why Gurobi is in business, Alpha Go exists, or why Amazon and United Airlines still manage to practically solve their resource allocation problems.
[1]: https://netflixtechblog.com/predictive-cpu-isolation-of-containers-at-netflix-91f014d856c7 https://netflixtechblog.com/predictive-cpu-isolation-of-cont...
- skyde 3y agofirst time earing about Gurobi, is it some kind of SMT solver? I tried looking at their website but could only find high level marketing description.