% @string{ccc=" Annual IEEE Conference on Computational Complexity"}
% @string{complexity01="Proceedings 16th" # ccc}

@string{ccc=" Annual IEEE Conf. on Comput. Complexity"}
@string{complexity01="16th" # ccc}


@inproceedings{bis01:indep,
  author={Beame, Paul and Impagliazzo, Russell and Sabharwal, Ashish},
  title={Resolution Complexity of Independent Sets in Random Graphs},
  booktitle=complexity01,
  month=jun,
  year=2001,
  address={Chicago, IL},
  pages={52-68}}