Local Quantum Search Algorithm for Random $k$-SAT with $Ω(n^{1+ε})$ Clauses - Mingyou Wu (2024)