| 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
-
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
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]