@misc{indiciae8872e694da25,
  title = {Quantum Algorithm to Solve Satisfiability Problems},
  author = {Wenjin Mao},
  year = {2005},
  doi = {10.1103/physreva.72.052316},
  url = {https://arxiv.org/abs/quant-ph/0411194},
  note = {Source identifier: quant-ph/0411194}
}