Leroy Chew
Leroy Chew
Research Fellow, University of Leeds
Verified email at leeds.ac.uk
Title
Cited by
Cited by
Year
Proof complexity of resolution-based QBF calculi
O Beyersdorff, L Chew, M Janota
LIPI Symposium on Theoretical Aspects of Computer Science (STACS'15) 30, 76-89, 2015
722015
On unification of QBF resolution-based calculi
O Beyersdorff, L Chew, M Janota
International Symposium on Mathematical Foundations of Computer Science, 81-93, 2014
542014
Lower bounds: From circuits to QBF proof systems
O Beyersdorff, I Bonacina, C Leroy
Proceedings of the 2016 ACM Conference on Innovations in Theoretical …, 2016
432016
Feasible interpolation for QBF resolution calculi
O Beyersdorff, L Chew, M Mahajan, A Shukla
International Colloquium on Automata, Languages, and Programming, 180-192, 2015
332015
Are Short Proofs Narrow? QBF Resolution Is Not So Simple
O Beyersdorff, L Chew, M Mahajan, A Shukla
ACM Transactions on Computational Logic (TOCL) 19 (1), 1-26, 2017
282017
A game characterisation of tree-like Q-resolution size
O Beyersdorff, L Chew, K Sreenivasaiah
Journal of Computer and System Sciences 104, 82-101, 2019
232019
Lifting QBF resolution calculi to DQBF
O Beyersdorff, L Chew, RA Schmidt, M Suda
International Conference on Theory and Applications of Satisfiability …, 2016
182016
Understanding cutting planes for QBFs
O Beyersdorff, L Chew, M Mahajan, A Shukla
Information and Computation 262, 141-161, 2018
132018
Extension variables in QBF resolution
O Beyersdorff, L Chew, M Janota
AAAI Workshop: Beyond NP, 2016
122016
New resolution-based QBF calculi and their proof complexity
O Beyersdorff, L Chew, M Janota
ACM Transactions on Computation Theory (TOCT) 11 (4), 1-42, 2019
62019
Reinterpreting dependency schemes: Soundness meets incompleteness in DQBF
O Beyersdorff, J Blinkhorn, L Chew, R Schmidt, M Suda
Journal of automated reasoning 63 (3), 597-623, 2019
52019
Short proofs in QBF expansion
O Beyersdorff, L Chew, J Clymo, M Mahajan
International Conference on Theory and Applications of Satisfiability …, 2019
52019
QBF proof complexity
LN Chew
University of Leeds, 2017
32017
The Equivalences of Refutational QRAT
L Chew, J Clymo
International Conference on Theory and Applications of Satisfiability …, 2019
22019
The complexity of theorem proving in circumscription and minimal entailment
O Beyersdorff, L Chew
International Joint Conference on Automated Reasoning, 403-417, 2014
22014
How QBF expansion makes strategy extraction hard
L Chew, J Clymo
International Joint Conference on Automated Reasoning, 66-82, 2020
12020
Hardness and Optimality in QBF Proof Systems Modulo NP.
L Chew
Electronic Colloquium on Computational Complexity (ECCC) 25, 178, 2018
12018
Sorting Parity Encodings by Reusing Variables
L Chew, MJH Heule
International Conference on Theory and Applications of Satisfiability …, 2020
2020
Frege Systems for Quantified Boolean Logic
O Beyersdorff, I Bonacina, L Chew, J Pich
Journal of the ACM (JACM) 67 (2), 1-36, 2020
2020
Frege systems for quantified Boolean logic
J Pich, O Beyersdorff, I Bonacina, L Chew
Journal of the ACM 67 (2), 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20