Ed Younis, Koushik Sen, Katherine A. Yelick, Costin Iancu: QFAST: Conflating Search and Numerical Optimization for Scalable Quantum Circuit Synthesis. QCE 2021: 232-243