4 ms·

So... Netflix solved SAT?

• arjie 11y ago
  This is a far simpler problem than SAT. There aren't enough details in this post, but one would expect that 'processors' would not impede one another. Then it's dependency resolution, of the sort that package managers do every day.