Katz, G. E.; Tahir, N. Towards Automated Discovery of God-Like Folk Algorithms for Rubik’s Cube. AAAI 2022, 36, 10210-10218.