Paul Beame Russell Impagliazzo Ashish Sabharwal The Resolution Complexity of Independent Sets and Vertex Covers in Random Graphs. 245-297 2007 16 Computational Complexity 3 http://dx.doi.org/10.1007/s00037-007-0230-0 db/journals/cc/cc16.html#BeameIS07