Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2

Diogo Fernandes, Carla Silva, InĂªs Dutra. Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2. ACM Crossroads, 26(2):68-71, 2019. [doi]

Abstract

Abstract is missing.