|Email:||eyolcu [at] cs [dot] cmu [dot] edu|
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.
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