Leroy Chew

2
Papers
3
Total Citations

Papers (2)

Hardness of Random Reordered Encodings of Parity for Resolution and CDCL

AAAI 2024arXiv
3
citations

Proof Simulation via Round-based Strategy Extraction for QBF

AAAI 2025
0
citations