04:47 duration 4 minutes 47 seconds
ReMatch+ intern - Phoebe (Sing Yu ) Lin
Summer Research Colloquium Research Summary - Parallel Satisfiability - A Local Sharing Approach