Search for tag: "sat"

ReMatch+ intern - Phoebe (Sing Yu ) Lin duration 4 minutes 47 seconds ReMatch+ intern - Phoebe (Sing Yu ) Lin ReMatch+ intern - Phoebe (Sing Yu ) Lin	ReMatch+ intern - Phoebe (Sing Yu ) Lin Summer Research Colloquium Research Summary - Parallel Satisfiability - A Local Sharing Approach problem solution solver solvers variables sat problems equation algorithm possibilities assignment learnt database core areas parallel mini force clauses lot From our Undergraduate Research 0 likes 23 plays Date July 30th, 2020 Speaker Phoebe Lin Department The Office of Undergraduate Research