The Diameter of the Rubik's Cube Group Is Twenty. - Tomas Rokicki; Herbert Kociemba; Morley Davidson; John Dethridge (SIAM J. Discret. Math., 2013)