Leroy Chew | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/leroy-chew/Leroy ChewHugo Blox Builder (https://hugoblox.com)en-usThu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngLeroy Chewhttps://ac.tuwien.ac.at/team/leroy-chew/Strong (D)QBF Dependency Schemes via Pure Paths with Applications to Proof Checkinghttps://ac.tuwien.ac.at/publication/strong-d-qbf-dependency-schemes-via-pure-paths-with-applications-to-proof-checking/Thu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/publication/strong-d-qbf-dependency-schemes-via-pure-paths-with-applications-to-proof-checking/Better Extension Variables in DQBF via Independencehttps://ac.tuwien.ac.at/publication/better-extension-variables-in-dqbf-via-independence/Wed, 01 Jan 2025 00:00:00 +0000https://ac.tuwien.ac.at/publication/better-extension-variables-in-dqbf-via-independence/ASP-QRAT: A Conditionally Optimal Dual Proof System for ASPhttps://ac.tuwien.ac.at/publication/asp-qrat-a-conditionally-optimal-dual-proof-system-for-asp/Mon, 01 Jan 2024 00:00:00 +0000https://ac.tuwien.ac.at/publication/asp-qrat-a-conditionally-optimal-dual-proof-system-for-asp/Hardness of Random Reordered Encodings of Parity for Resolution and CDCLhttps://ac.tuwien.ac.at/publication/hardness-of-random-reordered-encodings-of-parity-for-resolution-and-cdcl/Mon, 01 Jan 2024 00:00:00 +0000https://ac.tuwien.ac.at/publication/hardness-of-random-reordered-encodings-of-parity-for-resolution-and-cdcl/Towards Uniform Certification in QBFhttps://ac.tuwien.ac.at/publication/towards-uniform-certification-in-qbf/Sat, 01 Jan 2022 00:00:00 +0000https://ac.tuwien.ac.at/publication/towards-uniform-certification-in-qbf/Hardness and Optimality in QBF Proof Systems Modulo NPhttps://ac.tuwien.ac.at/publication/hardness-and-optimality-in-qbf-proof-systems-modulo-np/Fri, 01 Jan 2021 00:00:00 +0000https://ac.tuwien.ac.at/publication/hardness-and-optimality-in-qbf-proof-systems-modulo-np/