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