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