@inproceedings{krueger:20:icse,
address = {New York, NY, USA},
author = {Krüger, Tom and Mauerer, Wolfgang},
booktitle = {Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops},
doi = {10.1145/3387940.3391472},
isbn = {9781450379632},
location = {Seoul, Republic of Korea},
numpages = {6},
pages = {445–450},
publisher = {Association for Computing Machinery},
series = {ICSEW'20},
title = {Quantum Annealing-Based Software Components: An Experimental Case Study with {SAT} Solving},
url = {https://doi.org/10.1145/3387940.3391472},
userc = {CORE20:A*},
userd = {ICSE '20},
year = {2020}
}