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

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

Abstract

Abstract is missing.