@misc{indiciae3f16f4c8a15f,
  title = {Witness of unsatisfiability for a random 3-satisfiability formula},
  author = {Lu-Lu Wu and Hai-Jun Zhou and Mikko Alava and Erik Aurell and Pekka Orponen},
  year = {2013},
  doi = {10.1103/physreve.87.052807},
  url = {https://arxiv.org/abs/1303.2413},
  note = {Source identifier: 1303.2413}
}