Chew, Leroy, Alexis de Colnet, Friedrich Slivovsky, and Stefan Szeider. 2024. “Hardness of Random Reordered Encodings of Parity for Resolution and CDCL”. Proceedings of the AAAI Conference on Artificial Intelligence 38 (8):7978-86. https://doi.org/10.1609/aaai.v38i8.28635.