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 26, 2024. https://cgt-journal.org/index.php/cgt/article/view/12.