@string{compcomp="Computational Complexity"}


@article{bis07:indepJ,
  author={Beame, Paul and Impagliazzo, Russell and Sabharwal, Ashish},
  title={The Resolution Complexity of Independent Sets and Vertex Covers in Random Graphs},
  journal=compcomp,
  volume=16,
  number=3,
  year=2007,
  pages={245-297}}