@misc{indiciae8f0aca9ee93c,
  title = {Many Hard Examples in Exact Phase Transitions with Application to Generating Hard Satisfiable Instances},
  author = {Ke Xu and Wei Li},
  year = {2003},
  url = {https://arxiv.org/abs/cs/0302001},
  note = {Source identifier: cs/0302001}
}