BEGIN:VCALENDAR
CALSCALE:GREGORIAN
PRODID:iCalendar-Ruby
VERSION:2.0
BEGIN:VEVENT
DESCRIPTION: In a simple topological drawing of the complete graph $K_n$\,
vertices are mapped to points in the plane\, edges are mapped to simple cur
ves connecting the corresponding end points\, and each pair of edges inters
ects at most once\, either in a common vertex or in a proper crossing. We
discuss an axiomatization of simple drawings and for various sub-classes an
d present a SAT model. With the aid of modern SAT solvers\, we investigate
some famous and important classical theorems from Convex Geometry (such as
Caratheodory’s\, Helly's\, Kirchberger's Theorem\, and the Erdös-Szekeres T
heorem) in the context of simple drawings. This is joint work with Helen
a Bergold\, Stefan Felsner\, Felix Schröder\, and Raphael Steiner. Resea
rch is in progress.
DTSTAMP:20191113T150300
DTSTART:20191125T160000
CLASS:PUBLIC
LOCATION:Freie Universität Berlin \n Institut für Informatik \n Takustr. 9
\n 14195 Berlin \n Room 005 (Ground Floor)
SEQUENCE:0
SUMMARY:Manfred Scheucher (Techniche Universität Berlin): Topological Drawi
ngs meet SAT Solvers and Classical Theorems of Convex Geometry
UID:95692708@www.facetsofcomplexity.de
URL:http://www.facetsofcomplexity.de/monday/20191125-C-Scheucher.html
END:VEVENT
END:VCALENDAR