Machine scheduling with resource dependent processing times. - Grigoriev, Alexander; Sviridenko, Maxim; Uetz, Marc (Math. Program., 2007)