@misc{indiciae44769514c097,
  title = {Scaling of running time of quantum adiabatic algorithm for propositional satisfiability},
  author = {Marko Znidaric},
  year = {2005},
  doi = {10.1103/physreva.71.062305},
  url = {https://arxiv.org/abs/quant-ph/0502077},
  note = {Source identifier: quant-ph/0502077}
}