@misc{indiciaebc87dd693600,
  title = {Phase Transition and Network Structure in Realistic SAT Problems},
  author = {Soumya C. Kambhampati and Thomas Liu},
  year = {2013},
  url = {https://arxiv.org/abs/1304.0145},
  note = {Source identifier: 1304.0145}
}