BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:How I learned to stop worrying and love NP-complete problems [Publ
 ic Event]
DTSTART:20251203T161500Z
DTEND:20251203T170000Z
DTSTAMP:20260417T223800Z
UID:indico-event-976@math-events.uni-bonn.de
DESCRIPTION:Speakers: Giles Gardam\n\nZusammenfassung:We don't know whethe
 r it is fundamentally easier to check the solution to a problem than it is
  to find the solution in the first place\; this is the famous P versus NP 
 problem\, one of the seven Millennium Problems in mathematics. In defiance
  of this\, there exists software that can in practice solve many problems 
 faster than it should be able to. I'll discuss these so-called SAT solvers
  and applications to pure mathematics.\n \n\nhttps://math-events.uni-bonn
 .de/event/976/
LOCATION:IX - Hörsaal (Uni-Hauptgebäude)
URL:https://math-events.uni-bonn.de/event/976/
END:VEVENT
END:VCALENDAR