Leroy Chew

Recent Publications

Hardness of Random Reordered Encodings of Parity for Resolution and CDCL
Leroy Chew, Alexis De Colnet, Friedrich Slivovsky, Stefan Szeider
AAAI'24, the Thirty-Eighth AAAI Conference on Artificial Intelligence, February 20-27, Vancouver, Canada (Jennifer Dy and Sriraam Natarajan), pages 7978-7986, 2024, AAAI Press.
PDF Cite Project Project DOI
Hardness and Optimality in QBF Proof Systems Modulo NP
Leroy Chew
2021, Technical report AC-TR-21-013, Algorithms and Complexity Group, TU Wien.
PDF Cite