Using Grover's search quantum algorithm to solve Boolean satisfiability problems: Part I

Diogo Fernandes, InĂªs Dutra. Using Grover's search quantum algorithm to solve Boolean satisfiability problems: Part I. ACM Crossroads, 26(1):64-66, 2019. [doi]

Bibliographies