@misc{indiciaed6b3e1815e20,
  title = {Quantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving},
  author = {Tom Krüger and Wolfgang Mauerer},
  year = {2020},
  doi = {10.1145/3387940.3391472},
  url = {https://arxiv.org/abs/2005.05465},
  note = {Source identifier: 2005.05465}
}