TY  - RPRT
TI  - Solving SAT and MaxSAT with a Quantum Annealer: Foundations, Encodings, and Preliminary Results
AU  - Zhengbing Bian
AU  - Fabian Chudak
AU  - William Macready
AU  - Aidan Roy
AU  - Roberto Sebastiani
AU  - Stefano Varotti
PY  - 2018
UR  - https://arxiv.org/abs/1811.02524
ID  - 1811.02524
ER  -