@misc{indiciae12a5974c3f33,
  title = {Hardness of Random Reordered Encodings of Parity for Resolution and CDCL},
  author = {Leroy Chew and Alexis de Colnet and Friedrich Slivovsky and Stefan Szeider},
  year = {2024},
  url = {https://arxiv.org/abs/2402.00542},
  note = {Source identifier: 2402.00542}
}