@misc{indiciaed9890c5555e7,
  title = {Phase Transition in Unrestricted Random SAT},
  author = {Bernd R. Schuh},
  year = {2012},
  url = {https://arxiv.org/abs/1204.1656},
  note = {Source identifier: 1204.1656}
}