Learning local search heuristics for Boolean satisfiability E Yolcu, B Póczos Neural Information Processing Systems (NeurIPS), 2019 | 116 | 2019 |
An automated approach to the Collatz conjecture E Yolcu, S Aaronson, MJH Heule Conference on Automated Deduction (CADE), 2021 | 12 | 2021 |
Mycielski graphs and PR proofs E Yolcu, X Wu, MJH Heule Theory and Applications of Satisfiability Testing (SAT), 2020 | 6 | 2020 |
Exponential separations using guarded extension variables E Yolcu, MJH Heule Innovations in Theoretical Computer Science (ITCS), 2023 | 1 | 2023 |
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 |