Emre Yolcu

12 papers A* 1A 4Journal 7
YearRankTypeTitle / Venue / Authors
2024 A conf
Lower Bounds for Set-Blocked Clauses Proofs.
STACS
Emre Yolcu
2024 J jnl
Lower bounds for set-blocked clauses proofs.
CoRR
Emre Yolcu
2024 J jnl
Regular resolution effectively simulates resolution.
CoRR
Sam Buss, Emre Yolcu
2024 J jnl
Regular resolution effectively simulates resolution.
Electron. Colloquium Comput. Complex.
Sam Buss, Emre Yolcu
2024 J jnl
Regular resolution effectively simulates resolution.
Inf. Process. Lett.
Sam Buss, Emre Yolcu
2023 J jnl
An Automated Approach to the Collatz Conjecture.
J. Autom. Reason.
Emre Yolcu, Scott Aaronson, Marijn J. H. Heule
2023 A conf
Exponential Separations Using Guarded Extension Variables.
ITCS
Emre Yolcu, Marijn J. H. Heule
2022 J jnl
Exponential separations using guarded extension variables.
CoRR
Emre Yolcu, Marijn J. H. Heule
2021 A conf
An Automated Approach to the Collatz Conjecture.
CADE
Emre Yolcu, Scott Aaronson, Marijn J. H. Heule
2021 J jnl
An Automated Approach to the Collatz Conjecture.
CoRR
Emre Yolcu, Scott Aaronson, Marijn J. H. Heule
2020 A conf
Mycielski Graphs and PR Proofs.
SAT
Emre Yolcu, Xinyu Wu, Marijn J. H. Heule
2019 A* conf
Learning Local Search Heuristics for Boolean Satisfiability.
NeurIPS
Emre Yolcu, Barnabás Póczos