Leroy Chew, Alexis de Colnet, Friedrich Slivovsky, Stefan Szeider. Hardness of Random Reordered Encodings of Parity for Resolution and CDCL. In Michael J. Wooldridge, Jennifer G. Dy, Sriraam Natarajan, editors, Thirty-Eigth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada. pages 7978-7986, AAAI Press, 2024. [doi]
@inproceedings{ChewCSS24,
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},
doi = {10.1609/aaai.v38i8.28635},
url = {https://doi.org/10.1609/aaai.v38i8.28635},
researchr = {https://researchr.org/publication/ChewCSS24},
cites = {0},
citedby = {0},
pages = {7978-7986},
booktitle = {Thirty-Eigth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada},
editor = {Michael J. Wooldridge and Jennifer G. Dy and Sriraam Natarajan},
publisher = {AAAI Press},
}