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