SCHEUCHER, Manfred. A SAT Attack on Erdős-Szekeres Numbers in R^d and the Empty Hexagon Theorem. Computing in Geometry and Topology, [S. l.], v. 2, n. 1, p. 2:1–2:13, 2023. DOI: 10.57717/cgt.v2i1.12. Disponível em: https://cgt-journal.org/index.php/cgt/article/view/12. Acesso em: 25 apr. 2024.