4 ms·
Not SAT but this a recent example of using Mixed Integer Programming in real life: https://medium.com/netflix-techblog/predictive-cpu-isolation-of-containers-at
by mochomocha 7y ago
Not SAT but this a recent example of using Mixed Integer Programming in real life: https://medium.com/netflix-techblog/predictive-cpu-isolation-of-containers-at-netflix-91f014d856c7 https://medium.com/netflix-techblog/predictive-cpu-isolation... (I'm one of the author of the article)