Emre Yolcu (original) (raw)
| Email: | eyolcu [at] cs [dot] cmu [dot] edu |
|---|---|
| Office: | GHC 9215 |
I am a PhD student in the Computer Science Department at Carnegie Mellon University, advised by Marijn Heule. I am interested mostly in logic, in particular proof complexity, satisfiability solving, and related topics.
Research publications
- Regular resolution effectively simulates resolution [pdf,bib]
Sam Buss, Emre Yolcu- Information Processing Letters 186, 2024
- Lower bounds for set-blocked clauses proofs [pdf,bib]
Emre Yolcu- STACS 2024 — Invited to special issue of LMCS
- Exponential separations using guarded extension variables [pdf,bib]
Emre Yolcu,Marijn Heule- ITCS 2023
- An automated approach to the Collatz conjecture [pdf,bib]
Emre Yolcu,Scott Aaronson,Marijn Heule- Journal of Automated Reasoning 67, 2023
- CADE 2021
- Mycielski graphs and PR proofs [pdf,bib]
Emre Yolcu,Xinyu Wu,Marijn Heule- SAT 2020 — Best Student Paper Award
- Learning local search heuristics for Boolean satisfiability [pdf,bib]
Emre Yolcu,Barnabás Póczos- NeurIPS 2019
Talks
- Lower bounds for set-blocked clauses proofs [pdf]
- STACS 2024, University of Clermont Auvergne, Clermont-Ferrand March 2024
- Regular resolution effectively simulates resolution [pdf]
- Workshop on Proof Theory and Its Applications, University of Barcelona July 2023
- Encoding Collatz-like problems into termination of string rewriting [pdf]
- Workshop on SAT Encodings and Beyond, Dagstuhl, Wadern June 2023
- Weak versions of extended resolution [pdf]
- Workshop on Proof Complexity and Meta-Mathematics, Simons Institute, Berkeley March 2023
- Exponential separations using guarded extension variables [pdf]
- ITCS 2023, MIT, Cambridge January 2023
- Theory Lunch, CMU, Pittsburgh November 2022
- MIAO Seminar, University of Copenhagen October 2022
- Workshop on Theory and Practice of SAT and Combinatorial Solving, Dagstuhl, Wadern October 2022
- Workshop on Proof Complexity, Technion, Haifa August 2022
- An automated approach to the Collatz conjecture [pdf]
- CADE 2021 July 2021
- Workshop on Termination 2021 July 2021
- Workshop on Theoretical Foundations of SAT/SMT Solving, Simons Institute, Berkeley April 2021
- Mycielski graphs and PR proofs [pdf]
- SAT 2020 July 2020