Emre Yolcu

Orcid: 0000-0002-4255-9748

Affiliations:

Carnegie Mellon University, Pittsburgh, PA, USA

According to our database¹, Emre Yolcu authored at least 6 papers between 2019 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Regular resolution effectively simulates resolution.

[BibT_eX]

[DOI]

Sam Buss

Emre Yolcu

Inf. Process. Lett., 2024

Lower Bounds for Set-Blocked Clauses Proofs.

[BibT_eX]

[DOI]

Emre Yolcu

Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

2023

An Automated Approach to the Collatz Conjecture.

[BibT_eX]

[DOI]

Emre Yolcu

Scott Aaronson

Marijn J. H. Heule

J. Autom. Reason., June, 2023

Exponential Separations Using Guarded Extension Variables.

[BibT_eX]

[DOI]

Emre Yolcu

Marijn J. H. Heule

Proceedings of the 14th Innovations in Theoretical Computer Science Conference, 2023

2020

Mycielski Graphs and PR Proofs.

[BibT_eX]

[DOI]

Emre Yolcu

Xinyu Wu

Marijn J. H. Heule

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

2019

Learning Local Search Heuristics for Boolean Satisfiability.

[BibT_eX]

[DOI]

Emre Yolcu

Barnabás Póczos

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Emre Yolcu

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...