bibliography

Sam Buss and Emre Yolcu. Regular resolution effectively simulates resolution. Information Processing Letters, 186, 2024. Article 106489, 4 pages. doi: 10.1016/j.ipl.2024.106489

@Article{buss-yolcu:regular-effectively-general,
  author        = {Buss, Sam and Yolcu, Emre},
  title         = {Regular Resolution Effectively Simulates Resolution},
  journal       = {Information Processing Letters},
  year          = {2024},
  volume        = {186},
  note          = {Article~106489, 4~pages},
  doi           = {10.1016/j.ipl.2024.106489}
}

Emre Yolcu. Lower bounds for set-blocked clauses proofs. In Proceedings of the 41st Symposium on Theoretical Aspects of Computer Science (STACS), number 289 in Leibniz International Proceedings in Informatics. Schloss Dagstuhl, 2024. Article 59, 17 pages. doi: 10.4230/LIPIcs.STACS.2024.59

@InProceedings{yolcu:lower-bounds-sbc,
  author        = {Yolcu, Emre},
  title         = {Lower Bounds for Set-Blocked Clauses Proofs},
  booktitle     = {Proceedings of the 41st Symposium on Theoretical Aspects of Computer Science (STACS)},
  year          = {2024},
  number        = {289},
  series        = {Leibniz International Proceedings in Informatics},
  publisher     = {Schloss Dagstuhl},
  note          = {Article~59, 17~pages},
  doi           = {10.4230/LIPIcs.STACS.2024.59}
}

Emre Yolcu and Marijn J. H. Heule. Exponential separations using guarded extension variables. In Proceedings of the 14th Innovations in Theoretical Computer Science Conference (ITCS), number 251 in Leibniz International Proceedings in Informatics. Schloss Dagstuhl, 2023. Article 101, 22 pages. doi: 10.4230/LIPIcs.ITCS.2023.101

@InProceedings{yolcu-heule:guarded-extension,
  author        = {Yolcu, Emre and Heule, Marijn J. H.},
  title         = {Exponential Separations Using Guarded Extension Variables},
  booktitle     = {Proceedings of the 14th Innovations in Theoretical Computer Science Conference (ITCS)},
  year          = {2023},
  number        = {251},
  series        = {Leibniz International Proceedings in Informatics},
  publisher     = {Schloss Dagstuhl},
  note          = {Article~101, 22~pages},
  doi           = {10.4230/LIPIcs.ITCS.2023.101}
}

Emre Yolcu, Scott Aaronson, and Marijn J. H. Heule. An automated approach to the Collatz conjecture. Journal of Automated Reasoning, 67(2), 2023. Article 15, 44 pages. doi: 10.1007/s10817-022-09658-8

@Article{yolcu-aaronson-heule:rewriting-collatz,
  author        = {Yolcu, Emre and Aaronson, Scott and Heule, Marijn J. H.},
  title         = {An Automated Approach to the {Collatz} Conjecture},
  journal       = {Journal of Automated Reasoning},
  year          = {2023},
  volume        = {67},
  number        = {2},
  note          = {Article~15, 44~pages},
  doi           = {10.1007/s10817-022-09658-8}
}

Emre Yolcu, Scott Aaronson, and Marijn J. H. Heule. An automated approach to the Collatz conjecture. In Proceedings of the 28th Conference on Automated Deduction (CADE), number 12699 in Lecture Notes in Computer Science, pages 468–484. Springer, 2021. doi: 10.1007/978-3-030-79876-5_27

@InProceedings{yolcu-aaronson-heule:rewriting-collatz-conf,
  author        = {Yolcu, Emre and Aaronson, Scott and Heule, Marijn J. H.},
  title         = {An Automated Approach to the {Collatz} Conjecture},
  booktitle     = {Proceedings of the 28th Conference on Automated Deduction (CADE)},
  year          = {2021},
  number        = {12699},
  series        = {Lecture Notes in Computer Science},
  pages         = {468--484},
  publisher     = {Springer},
  doi           = {10.1007/978-3-030-79876-5_27}
}

Emre Yolcu, Xinyu Wu, and Marijn J. H. Heule. Mycielski graphs and PR proofs. In Proceedings of the 23rd Conference on Theory and Applications of Satisfiability Testing (SAT), number 12178 in Lecture Notes in Computer Science, pages 201–217. Springer, 2020. doi: 10.1007/978-3-030-51825-7_15

@InProceedings{yolcu-wu-heule:mycielski-graphs-pr-proofs,
  author        = {Yolcu, Emre and Wu, Xinyu and Heule, Marijn J. H.},
  title         = {{Mycielski} Graphs and {PR} Proofs},
  booktitle     = {Proceedings of the 23rd Conference on Theory and Applications of Satisfiability Testing (SAT)},
  year          = {2020},
  number        = {12178},
  series        = {Lecture Notes in Computer Science},
  pages         = {201--217},
  publisher     = {Springer},
  doi           = {10.1007/978-3-030-51825-7_15}
}

Emre Yolcu and Barnabás Póczos. Learning local search heuristics for Boolean satisfiability. In Proceedings of the 33rd Conference on Neural Information Processing Systems (NeurIPS), pages 7990–8001. Curran Associates, 2019.

@InProceedings{yolcu-poczos:learning-local-search-heuristics-sat,
  author        = {Yolcu, Emre and P{\'o}czos, Barnab{\'a}s},
  title         = {Learning Local Search Heuristics for {Boolean} Satisfiability},
  booktitle     = {Proceedings of the 33rd Conference on Neural Information Processing Systems (NeurIPS)},
  year          = {2019},
  pages         = {7990--8001},
  publisher     = {Curran Associates}
}