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, Sriraam Natarajan, eds.), pages 7978–7986, 2024, AAAI Press.

Stefan Szeider

Head of Research Unit

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