Exact Global Reordering for Nearest Neighbor Quantum Circuits Using A ^* ∗. - Alwin Zulehner; Stefan Gasser; Robert Wille (RC, 2017)