TY  - RPRT
TI  - Hardness of Random Reordered Encodings of Parity for Resolution and CDCL
AU  - Leroy Chew
AU  - Alexis de Colnet
AU  - Friedrich Slivovsky
AU  - Stefan Szeider
PY  - 2024
UR  - https://arxiv.org/abs/2402.00542
ID  - 2402.00542
ER  -