Solving Boolean Satisfiability Problems With The Quantum Approximate Optimization Algorithm - Boulebnane, Sami; Montanaro, Ashley (PRX quantum, 2024)