Hardness of Random Reordered Encodings of Parity for Resolution and CDCL.

Leroy Chew, Alexis de Colnet, Friedrich Slivovsky, Stefan Szeider

Browse the full AAAI paper archive.