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]

@article{FernandesSD19,
  title = {Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2},
  author = {Diogo Fernandes and Carla Silva and Inês Dutra},
  year = {2019},
  doi = {10.1145/3368085},
  url = {https://doi.org/10.1145/3368085},
  researchr = {https://researchr.org/publication/FernandesSD19},
  cites = {0},
  citedby = {0},
  journal = {ACM Crossroads},
  volume = {26},
  number = {2},
  pages = {68-71},
}