TY - CHAP A1 - Krüger, Tom A1 - Mauerer, Wolfgang T1 - Quantum Annealing-Based Software Components T2 - Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops (ICSE'20): Seoul Republic of Korea 27.06.2020 - 19.07.2020 N2 - Quantum computers have the potential of solving problems more efficiently than classical computers. While first commercial prototypes have become available, the performance of such machines in practical application is still subject to exploration. Quantum computers will not entirely replace classical machines, but serve as accelerators for specific problems. This necessitates integrating quantum computational primitives into existing applications. In this paper, we perform a case study on how to augment existing software with quantum computational primitives for the Boolean satisfiability problem (SAT) implemented using a quantum annealer (QA). We discuss relevant quality measures for quantum components, and show that mathematically equivalent, but structurally different ways of transforming SAT to a QA can lead to substantial differences regarding these qualities. We argue that engineers need to be aware that (and which) details, although they may be less relevant in traditional software engineering, require considerable attention in quantum computing. KW - Boolean Satisfiability KW - Experimental Performance Analysis KW - Quantum Annealin KW - Quantum computing Y1 - 2020 SN - 9781450379632 U6 - https://doi.org/10.1145/3387940.3391472 SP - 445 EP - 450 PB - Association for Computing Machinery CY - New York, NY ER -