The Carnegie Mellon Programming Team in Finals of the ACM International Collegiate Programming Contest [1]