Basis Oriented TSA - Supplementary Results Input Data of the Test Models Supplementary Tables - Ramping and Network Proof of Total Unimodularity of A Partitioning Algorithm