@inproceedings{ChewColnetSlivovskySzeider24,
 author = {Leroy Chew and Alexis de Colnet and Friedrich
Slivovsky and Stefan Szeider},
 booktitle = {AAAI'24, the Thirty-Eighth AAAI Conference on
Artificial Intelligence, February 20-27, Vancouver,
Canada},
 doi = {10.1609/AAAI.V38I8.28635},
 editor = {Jennifer Dy and Sriraam Natarajan},
 keywords = {reveal, strides},
 pages = {7978--7986},
 publisher = {AAAI Press},
 title = {Hardness of Random Reordered Encodings of Parity for
Resolution and {CDCL}},
 url = {https://doi.org/10.1609/aaai.v38i8.28635},
 year = {2024}
}