Blum, Avrim [P:(DE-HGF)0] ; Hopcroft, John E. [P:(DE-HGF)0] ; Kannan, Ravindran [P:(DE-HGF)0]