Emre Yolcu

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

I am a second-year PhD student at Carnegie Mellon University, advised by Marijn Heule. I am interested in proof complexity, computer-assisted proofs in mathematics, theory and applications of SAT solving, and, more broadly, logic in computer science.

Research publications

• Mycielski graphs and PR proofs [pdf, doi]
  Emre Yolcu, Xinyu Wu, Marijn Heule
  Theory and Applications of Satisfiability Testing (SAT), 2020
  Best Student Paper Award
• Learning local search heuristics for Boolean satisfiability [pdf, url]
  Emre Yolcu, Barnabás Póczos
  Advances in Neural Information Processing Systems (NeurIPS), 2019

Talks

• Mycielski graphs and PR proofs [pdf]
  23rd International Conference on Theory and Applications of Satisfiability Testing, July 2020