Solving Satisfiability Problems with Grover’s Algorithm
Quantum Computing to Enhance Machine Learning
Published in
3 min readFeb 21, 2020
Besides database searches, Grover’s Algorithm has several applications, one of which is solving satisfiability problems. We’ll explore what satisfiability (SAT) problems are and how their solutions are documented in Qiskit, IBM’s Python library for Quantum Computing.