Assessing the Viability of Quantum SAT Solvers: A Comparative Study Using Grover’s Algorithm and Quantum Hardware | Publicación