Name Card

Full name Familienname, Vorname
Chew, Leroy Nicholas
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-5 of 5 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Chew-2022-Towards Uniform Certification in QBF-vor.pdf.jpgChew, Leroy ; Slivovsky, Friedrich Towards Uniform Certification in QBFInproceedings Konferenzbeitrag 9-Mar-2022
2Liu, Zhenjun ; Chew, Leroy ; Heule, Marijn Avoiding Monochromatic Rectangles Using Shift PatternsKonferenzbeitrag Inproceedings 2021
3Chew, Leroy Hardness and Optimality in QBF Proof Systems Modulo NPKonferenzbeitrag Inproceedings 2021
4Beyersdorff, Olaf ; Blinkhorn, Joshua ; Chew, Leroy ; Schmidt, Renate ; Suda, Martin Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBFArtikel Article 2018
5Beyersdorff, Olaf ; Chew, Leroy ; Schmidt, Renate A. ; Suda, Martin Lifting QBF Resolution Calculi to DQBFKonferenzbeitrag Inproceedings 2016