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]
Emre Yolcu, Scott Aaronson, Marijn Heule
Automated Deduction (CADE), 2021 [doi]
-
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]
17th International Workshop on Termination, July 2021
28th International Conference on Automated Deduction, July 2021
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