Hardness of Random Reordered Encodings of Parity for Resolution and CDCL

Abstract

Full Citation:

Leroy Chew, Alexis de Colnet, Friedrich Slivovsky, Stefan Szeider. Hardness of Random Reordered Encodings of Parity for Resolution and CDCL. AAAI'24, the Thirty-Eighth AAAI Conference on Artificial Intelligence, February 20-27, Vancouver, Canada (Jennifer Dy and Sriraam Natarajan), pages 7978-7986, 2024, AAAI Press.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.