Chew et al. "Hardness of Random Reordered Encodings of Parity for Resolution and CDCL." AAAI Conference on Artificial Intelligence, 2024. doi:10.1609/AAAI.V38I8.28635
Markdown
[Chew et al. "Hardness of Random Reordered Encodings of Parity for Resolution and CDCL." AAAI Conference on Artificial Intelligence, 2024.](https://mlanthology.org/aaai/2024/chew2024aaai-hardness/) doi:10.1609/AAAI.V38I8.28635
BibTeX
@inproceedings{chew2024aaai-hardness,
title = {{Hardness of Random Reordered Encodings of Parity for Resolution and CDCL}},
author = {Chew, Leroy and de Colnet, Alexis and Slivovsky, Friedrich and Szeider, Stefan},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2024},
pages = {7978-7986},
doi = {10.1609/AAAI.V38I8.28635},
url = {https://mlanthology.org/aaai/2024/chew2024aaai-hardness/}
}