Engineering the development of quantum programs: Application to the Boolean satisfiability problem
Journal:
Advances in Engineering Software
ISSN: 1873-5339, 0965-9978
Year of publication: 2022
Volume: 173
Type: Article