@misc{indiciae8525931b1c37,
  title = {Solving SAT and MaxSAT with a Quantum Annealer: Foundations, Encodings, and Preliminary Results},
  author = {Zhengbing Bian and Fabian Chudak and William Macready and Aidan Roy and Roberto Sebastiani and Stefano Varotti},
  year = {2018},
  url = {https://arxiv.org/abs/1811.02524},
  note = {Source identifier: 1811.02524}
}