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]
@article{FernandesD19,
title = {Using Grover's search quantum algorithm to solve Boolean satisfiability problems: Part I},
author = {Diogo Fernandes and Inês Dutra},
year = {2019},
doi = {10.1145/3358251},
url = {https://doi.org/10.1145/3358251},
researchr = {https://researchr.org/publication/FernandesD19},
cites = {0},
citedby = {0},
journal = {ACM Crossroads},
volume = {26},
number = {1},
pages = {64-66},
}