Digitized adiabatic quantum computing with a superconducting circuit - R. Barends; et al. (2015)