Edit: Found it here: https://coursera.cs.princeton.edu/algs4/assignments/boggle/f...
The proof used ENABLE2K — repeating it for other wordlists would require another ~23,000 CPU hours each.
Edit: Found it here: https://coursera.cs.princeton.edu/algs4/assignments/boggle/f...