A SAT Attack on Erdős-Szekeres Numbers in R^d and the Empty Hexagon Theorem. CompGeomTop. 2023;2(1):2:1-2:13. doi:10.57717/cgt.v2i1.12