Emre Yolcu

Email:	eyolcu [at] cs [dot] cmu [dot] edu
Office:	GHC 9215

I am a PhD student at Carnegie Mellon University, advised by Marijn Heule. I am interested mostly in logic, in particular proof complexity, SAT solving, and related topics.

Research publications

An automated approach to the Collatz conjecture [pdf, doi]
Emre Yolcu, Scott Aaronson, Marijn Heule
CADE 2021
Mycielski graphs and PR proofs [pdf, doi]
Emre Yolcu, Xinyu Wu, Marijn Heule
SAT 2020
Best Student Paper Award
Learning local search heuristics for Boolean satisfiability [pdf, url]
Emre Yolcu, Barnabás Póczos
NeurIPS 2019

Talks

An automated approach to the Collatz conjecture [pdf]
CADE, July 2021
Workshop on Termination, July 2021
Workshop on Theoretical Foundations of SAT/SMT Solving, Simons Institute, April 2021
Mycielski graphs and PR proofs [pdf]
SAT, July 2020