Scheucher, M. A SAT Attack on Erdős-Szekeres Numbers in R^d and the Empty Hexagon Theorem. CompGeomTop 2023, 2, 2:1-2:13.