1:08:22CDCL solvers, resolution, extension and DRAT proofs | Sam Buss, 12.05.2021PDMI Logic Lab112 viewsView & Download
44:13EC'23 Tutorial: Information Design: Algorithmic Fundamentals and New Frontiers (Part 1)ACM SIGecom100 viewsView & Download
15:41Program Equivalence for Assisted Grading of Functional ProgramsACM SIGPLAN116 viewsView & Download
52:36Teach-in Tuesday: Algorithmic AccountabilityUniversity of St. Thomas | Minnesota261 viewsView & Download