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), pp. 2:1–2:13. doi: 10.57717/cgt.v2i1.12.