Talks Spring 2021 Progress in Symbolic Satisfiability Solving Thursday, Mar. 4, 2021 8:30 am – 9:30 am PST Add to CalendariCalendar Outlook Google Event: 50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing Speaker: Moshe Vardi (Rice University)Location: Zoom No abstract available.