Leroy Chew

Recent Publications

Hardness of Random Reordered Encodings of Parity for Resolution and CDCL

2024

Hardness and Optimality in QBF Proof Systems Modulo NP

2021