A arxiv.org A Polynomial Time Bounded-Error Quantum Algorithm for Boolean Satisfiability 148 points user_235711 11 years ago 125 comments