Engineering the development of quantum programs: Application to the Boolean satisfiability problem

  1. Alonso, D.
  2. Sánchez, P.
  3. Sánchez-Rubio, F.
Journal:
Advances in Engineering Software

ISSN: 1873-5339 0965-9978

Year of publication: 2022

Volume: 173

Type: Article

DOI: 10.1016/J.ADVENGSOFT.2022.103216 GOOGLE SCHOLAR lock_openOpen access editor