A parallel and distributed fixed-point quantum search algorithm for solving SAT problems

He Wang, Jinyang Yao

Boolean satisfiability (SAT) problem is of fundamental importance in computer science and many application domains. For Grover's algorithm, solving the SAT problem requires $\mathc…