@misc{indiciae6b45d5269e77,
  title = {Unsatisfiable Linear k-CNFs Exist, for every k},
  author = {Dominik Scheder},
  year = {2007},
  url = {https://arxiv.org/abs/0708.2336},
  note = {Source identifier: 0708.2336}
}