Chew, Leroy

2 publications

AAAI 2025 Proof Simulation via Round-Based Strategy Extraction for QBF Leroy Chew

AAAI 2024 Hardness of Random Reordered Encodings of Parity for Resolution and CDCL Leroy Chew, Alexis de Colnet, Friedrich Slivovsky, Stefan Szeider