Leroy Chew

2 papers · 2024–2025 · 1 conference · across top CS/AI conferences

Achievements

🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (6)

Conferences

AAAI (2)

Top co-authors

Stefan Szeider (1) Alexis de Colnet (1) Friedrich Slivovsky (1)

Keywords

sat solver (1) conflict-driven clause learning (1) quantified boolean formula (1) proof complexity (1) proof system (1) strategy extraction (1) resolution refutation (1) parity reasoning (1)

Papers

Proof Simulation via Round-based Strategy Extraction for QBF AAAI 2025

Hardness of Random Reordered Encodings of Parity for Resolution and CDCL AAAI 2024