Index:SATCON2 Algorithms Report.pdf