@misc{indiciaed931b24c5d8d,
  title = {Quantum Algorithm for SAT Problem and Quantum Mutual Entropy},
  author = {Masanori Ohya},
  year = {2004},
  doi = {10.1016/s0034-4877(05)80007-2},
  url = {https://arxiv.org/abs/quant-ph/0406214},
  note = {Source identifier: quant-ph/0406214}
}