On December 7, 2023 at 14:00 EET, Bogdan Dumitru (University of Bucharest/BitDefender) will give a talk in the Logic Seminar.
Title: Using SAT Solvers to Investigate the Erdős–Szekeres Conjecture for \(e(7)=33\)
Abstract:
Define \(e(n)\) as the smallest number such that, for any \(n\), any set of at least \(e(n)\) points in general position in the plane contains \(n\) points that are the vertices of a convex polygon. The Erdős–Szekeres conjecture states that, for any \(n \geq 3\), \(e(n) = 2^{n-2} + 1\). In this talk, we will present a reduction of the problem to Boolean Satisfiability and use a SAT solver to partially verify that \(e(7) = 33\).
The talk will take place physically at FMI (Academiei 14), Hall 214 “Google”.