Follow
Emre Yolcu
Emre Yolcu
Verified email at cs.cmu.edu - Homepage
Title
Cited by
Cited by
Year
Learning local search heuristics for Boolean satisfiability
E Yolcu, B Póczos
Neural Information Processing Systems (NeurIPS), 2019
1162019
An automated approach to the Collatz conjecture
E Yolcu, S Aaronson, MJH Heule
Conference on Automated Deduction (CADE), 2021
122021
Mycielski graphs and PR proofs
E Yolcu, X Wu, MJH Heule
Theory and Applications of Satisfiability Testing (SAT), 2020
62020
Exponential separations using guarded extension variables
E Yolcu, MJH Heule
Innovations in Theoretical Computer Science (ITCS), 2023
12023
Lower bounds for set-blocked clauses proofs
E Yolcu
arXiv preprint arXiv:2401.11266, 2024
2024
Regular resolution effectively simulates resolution
S Buss, E Yolcu
Information Processing Letters 186, 2024
2024
An automated approach to the Collatz conjecture
E Yolcu, S Aaronson, MJH Heule
Journal of Automated Reasoning 64, 2023
2023
Mycielski principle formulas with PR clauses
E Yolcu, MJH Heule
SAT Competition 2021, 2021
2021
Mixed base rewriting for the Collatz conjecture
E Yolcu, S Aaronson, MJH Heule
Workshop on Termination (WST), 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–9