Daniel Kunkle Gene Cooperman Twenty-six moves suffice for Rubik's cube. 235-242 2007 conf/issac/2007 ISSAC http://doi.acm.org/10.1145/1277548.1277581 db/conf/issac/issac2007.html#KunkleC07