• search hit 73 of 84
Back to Result List

Quantum Annealing-Based Software Components

  • 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.

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Metadaten
Author:Tom Krüger, Wolfgang MauererORCiDGND
DOI:https://doi.org/10.1145/3387940.3391472
ISBN:9781450379632
Parent Title (English):Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops (ICSE'20): Seoul Republic of Korea 27.06.2020 - 19.07.2020
Publisher:Association for Computing Machinery
Place of publication:New York, NY
Document Type:conference proceeding (article)
Language:English
Year of first Publication:2020
Release Date:2022/04/11
Tag:Boolean Satisfiability; Experimental Performance Analysis; Quantum Annealin; Quantum computing
First Page:445
Last Page:450
Institutes:Fakultät Informatik und Mathematik
Fakultät Informatik und Mathematik / Labor für Digitalisierung (LFD)
Begutachtungsstatus:peer-reviewed
research focus:Digitalisierung
Licence (German):Keine Lizenz - Es gilt das deutsche Urheberrecht: § 53 UrhG