Learning Local Search Heuristics for Boolean Satisfiability. - Emre Yolcu; Barnabás Póczos (NeurIPS, 2019)

Mycielski Graphs and PR Proofs. - Emre Yolcu; Xinyu Wu; Marijn J. H. Heule (SAT, 2020)

Exponential Separations Using Guarded Extension Variables. - Emre Yolcu; Marijn J. H. Heule (ITCS, 2023)

An Automated Approach to the Collatz Conjecture. - Emre Yolcu; Scott Aaronson; Marijn J. H. Heule (J. Autom. Reason., 2023)

Lower Bounds for Set-Blocked Clauses Proofs. - Emre Yolcu (STACS, 2024)

Regular resolution effectively simulates resolution. - Sam Buss; Emre Yolcu (Inf. Process. Lett., 2024)