Chew, L.; de Colnet, A.; Slivovsky, F.; Szeider, S. Hardness of Random Reordered Encodings of Parity for Resolution and CDCL. AAAI 2024, 38, 7978-7986.