Quantum walk algorithm for element distinctness | IEEE Conference Publication | IEEE Xplore