Parallelizing MiniSat with Hyperobjects Parallelizing MiniSat I-Ting Angelina Lee Justin Zhang May 05, 2010 6.884 Final Project Presentation Bottomline Ok, so we parallelized…
