@misc{indiciae47b2a9a6cbfa,
  title = {Monte Carlo Search for Very Hard KSAT Realizations for Use in Quantum Annealing},
  author = {Neuhaus Thomas},
  year = {2014},
  url = {https://arxiv.org/abs/1412.5361},
  note = {Source identifier: 1412.5361}
}