Author: Ga.) DIMACS Implementation Challenge Workshop (10th 2012 Atlanta