Emre Yolcu

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 11

Top Topics

Boolean Satisfiability

Relevant Variables

Consequence Finding

Top Venues

Electron. Colloquium Comput. Complex.

Publications

Sam Buss, Emre Yolcu
Regular resolution effectively simulates resolution. CoRR (2024)
Sam Buss, Emre Yolcu
Regular resolution effectively simulates resolution. Electron. Colloquium Comput. Complex. (2024)
Emre Yolcu
Lower bounds for set-blocked clauses proofs. CoRR (2024)
Emre Yolcu
Lower Bounds for Set-Blocked Clauses Proofs. STACS (2024)
Emre Yolcu, Marijn J. H. Heule
Exponential Separations Using Guarded Extension Variables. ITCS (2023)
Emre Yolcu, Scott Aaronson, Marijn J. H. Heule
An Automated Approach to the Collatz Conjecture. J. Autom. Reason. 67 (2) (2023)
Emre Yolcu, Marijn J. H. Heule
Exponential separations using guarded extension variables. CoRR (2022)
Emre Yolcu, Scott Aaronson, Marijn J. H. Heule
An Automated Approach to the Collatz Conjecture. CoRR (2021)
Emre Yolcu, Scott Aaronson, Marijn J. H. Heule
An Automated Approach to the Collatz Conjecture. CADE (2021)
Emre Yolcu, Xinyu Wu, Marijn J. H. Heule
Mycielski Graphs and PR Proofs. SAT (2020)
Emre Yolcu, Barnabás Póczos
Learning Local Search Heuristics for Boolean Satisfiability. NeurIPS (2019)