Hardness of Random Reordered Encodings of Parity for Resolution and CDCL

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

doi:10.1609/AAAI.V38I8.28635

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

Reference:

Hardness of Random Reordered Encodings of Parity for Resolution and CDCLLeroy Chew, Alexis de Colnet, Friedrich Slivovsky, Stefan SzeiderAAAI'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.

Bibtex Entry:

@InProceedings{ChewColnetSlivovskySzeider24,
  author       = {Leroy Chew and Alexis de Colnet and Friedrich
                  Slivovsky and Stefan Szeider},
  title        = {Hardness of Random Reordered Encodings of Parity for
                  Resolution and {CDCL}},
  booktitle = {AAAI'24, the Thirty-Eighth AAAI Conference on
                  Artificial Intelligence, February 20-27, Vancouver,
                  Canada},
  year      = {2024},
  editor    = {Jennifer Dy and Sriraam Natarajan},
  publisher = {AAAI Press},
  pages        = {7978--7986},
  publisher    = {{AAAI} Press},
  year         = {2024},
  url          = {https://doi.org/10.1609/aaai.v38i8.28635},
  doi          = {10.1609/AAAI.V38I8.28635},
  keywords  = {reveal,strides},
}