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

Talks