Items where Author is "Chew, Leroy"

Article

Beyersdorff, Olaf ; Chew, Leroy ; Mahajan, Meena ; Shukla, Anil (2018) Are Short Proofs Narrow? QBF Resolution Is Not So Simple ACM Transactions on Computational Logic, 19 (1). pp. 1-26. ISSN 1529-3785

Beyersdorff, Olaf ; Chew, Leroy ; Mahajan, Meena ; Shukla, Anil (2018) Understanding cutting planes for QBFs Information and Computation, 262 . pp. 141-161. ISSN 0890-5401

Beyersdorff, Olaf ; Chew, Leroy ; Mahajan, Meena ; Shukla, Anil (2017) Feasible Interpolation for QBF Resolution Calculi Logical Methods in Computer Science, 13 (2). pp. 1-20.