To be fair, it does link to the paper in literally the first words, which is in some sense the most important thing. But let's go ahead and record the name here since the article takes its time: the solver is Hao Huang.