Loop parallelization in the polytope model - Lengauer, Christian (1993)