Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowMinwoo KangUniversity of California, BerkeleyPresentationsLate Breaking Results PosterLate Breaking Results: Differential and Massively Parallel Sampling of SAT Formulas