@misc{indiciaec42df42ee4ea,
  title = {Complexity Considerations, cSAT Lower Bound},
  author = {Radoslaw Hofman},
  year = {2007},
  url = {https://arxiv.org/abs/0704.0514},
  note = {Source identifier: 0704.0514}
}