Talks Spring 2021 Hypotheses about Satisfiability and their Consequences Thursday, Feb. 11, 2021 9:30 am – 10:30 am Add to CalendariCalendar Outlook Google Event: 50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing Speaker: Russell Impagliazzo (UC San Diego)Location: Zoom No abstract available.
