Re: Algorithm./ Technique
There is no known algorithm for solving Rubik's cube in the shortest possible number of moves, or even close to it. The proof was existence only, not constructive. One reason is that, for space requirements, they had to throw away any actual representations of the moves that they did find, and another is that the type of coset enumeration that I think they used isn't really well suited to storing this stuff.