L. Chew, A. de Colnet, F. Slivovsky, and S. Szeider, “Hardness of Random Reordered Encodings of Parity for Resolution and CDCL”, AAAI, vol. 38, no. 8, pp. 7978–7986, Mar. 2024.