TY - THES A1 - Roessig, Ansgar T1 - Formulations and algorithms for the USCCSP Y1 - 2016 ER -