Emre Yolcu

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

I am a PhD student at Carnegie Mellon University, advised by Marijn Heule. I am interested mostly in logic, in particular proof complexity and rewriting systems.

Research publications

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

Talks

• An automated approach to the Collatz conjecture [pdf]
  Theoretical Foundations of SAT/SMT Solving, Simons Institute, April 2021
• Mycielski graphs and PR proofs [pdf]
  23rd International Conference on Theory and Applications of Satisfiability Testing, July 2020