[FOM] cracking the cube
jmarcos at dimap.ufrn.br
Fri Aug 17 15:11:19 EDT 2007
Thought this might be of some interest to the members of this list:
Twenty-Six Moves Suffice for Rubik's Cube
Kunkle and Cooperman presented their result July 29 at the
International Symposium on Symbolic and Algebraic Computation in
* * *
Do you guys think that these kinds of machine-assisted verifications,
proofs, or "God's algorithms"
(http://en.wikipedia.org/wiki/God's_algorithm) have any sort of
significance to research in FOM?
More information about the FOM