A Polynomial Time Bounded-Error Quantum Algorithm for Boolean Satisfiabilityarxiv.org148 pointsuser_23571111 years ago