Hardness of Random Reordered Encodings of Parity for Resolution and CDCL

Leroy Chew, Alexis De Colnet, Friedrich Slivovsky, Stefan Szeider
January 2024
PDF Cite Project Project DOI
Type
Conference Paper
Reveal Strides
Stefan Szeider
Stefan Szeider
Head of Research Unit

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