Scheucher, M. 2023. A SAT Attack on Erdős-Szekeres Numbers in R^d and the Empty Hexagon Theorem. Computing in Geometry and Topology. 2, 1 (Mar. 2023), 2:1–2:13. DOI:https://doi.org/10.57717/cgt.v2i1.12.