Return to Article Details A SAT Attack on Erdős-Szekeres Numbers in R^d and the Empty Hexagon Theorem Download Download PDF