SATCON2 Algorithms Working Group Report

