Resolution Complexity of Independent Sets in Random Graphs. - Beame, Paul; Impagliazzo, Russell; Sabharwal, Ashish (2001)