Citeseer/On Derandomizing Algorithms that Err Extremely Rarely (2014) 10.1.1.641.8427