G. E. Katz and N. Tahir, “Towards Automated Discovery of God-Like Folk Algorithms for Rubik’s Cube”, AAAI, vol. 36, no. 9, pp. 10210-10218, Jun. 2022.