Scheucher, Manfred. “A SAT Attack on Erdős-Szekeres Numbers in R^d and the Empty Hexagon Theorem”. Computing in Geometry and Topology, vol. 2, no. 1, Mar. 2023, pp. 2:1-2:13, doi:10.57717/cgt.v2i1.12.