Scheucher, Manfred. “A SAT Attack on Erdős-Szekeres Numbers in R^d and the Empty Hexagon Theorem”. Computing in Geometry and Topology 2, no. 1 (March 20, 2023): 2:1–2:13. Accessed April 19, 2024. https://www.cgt-journal.org/index.php/cgt/article/view/12.