Optimized Quantum Circuit Generation with SPIRAL. - Scott Mionis; Franz Franchetti; Jason Larkin (HPEC, 2021)