@misc{indiciae00441d312a83,
  title = {Reducing SAT to 2-SAT},
  author = {Sergey Gubin},
  year = {2007},
  url = {https://arxiv.org/abs/0704.0108},
  note = {Source identifier: 0704.0108}
}