Scheucher M. A SAT Attack on Erdős-Szekeres Numbers in R^d and the Empty Hexagon Theorem. CompGeomTop [Internet]. 2023 Mar. 20 [cited 2024 Apr. 24];2(1):2:1-2:13. Available from: https://cgt-journal.org/index.php/cgt/article/view/12