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