External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Hardness of Random Reordered Encodings of Parity for Resolution and CDCL

Leroy Chew, Alexis de Colnet, Friedrich Slivovsky, Stefan Szeider. Hardness of Random Reordered Encodings of Parity for Resolution and CDCL. In Michael J. Wooldridge, Jennifer G. Dy, Sriraam Natarajan, editors, Thirty-Eigth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada. pages 7978-7986, AAAI Press, 2024. [doi]

Authors

Leroy Chew

This author has not been identified. Look up 'Leroy Chew' in Google

Alexis de Colnet

This author has not been identified. Look up 'Alexis de Colnet' in Google

Friedrich Slivovsky

This author has not been identified. Look up 'Friedrich Slivovsky' in Google

Stefan Szeider

This author has not been identified. Look up 'Stefan Szeider' in Google
runs on