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]
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
-
Mycielski graphs and PR proofs [pdf]
23rd International Conference on Theory and Applications of Satisfiability Testing, July 2020