APA (7th ed.) Citation

Chew, L., de Colnet, A., Slivovsky, F., & Szeider, S. (2024). Hardness of Random Reordered Encodings of Parity for Resolution and CDCL.

Chicago Style (17th ed.) Citation

Chew, Leroy, Alexis de Colnet, Friedrich Slivovsky, and Stefan Szeider. Hardness of Random Reordered Encodings of Parity for Resolution and CDCL. 2024.

MLA (9th ed.) Citation

Chew, Leroy, et al. Hardness of Random Reordered Encodings of Parity for Resolution and CDCL. 2024.