Phase matching in Grover-QAOA for solving 3-SAT problems | KICS Journals & Magazine | IEEE Xplore