TY - RPRT TI - Scaling of running time of quantum adiabatic algorithm for propositional satisfiability AU - Marko Znidaric PY - 2005 DO - 10.1103/physreva.71.062305 UR - https://arxiv.org/abs/quant-ph/0502077 ID - quant-ph/0502077 ER -