TY  - RPRT
TI  - Quantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving
AU  - Tom Krüger
AU  - Wolfgang Mauerer
PY  - 2020
DO  - 10.1145/3387940.3391472
UR  - https://arxiv.org/abs/2005.05465
ID  - 2005.05465
ER  -