Kaitlin N. Smith, Mitchell A. Thornton. Quantum Logic Synthesis with Formal Verification. In Hoi Lee, Randall L. Geiger, editors, 62nd IEEE International Midwest Symposium on Circuits and Systems, MWSCAS 2019, Dallas, TX, USA, August 4-7, 2019. pages 73-76, IEEE, 2019. [doi]
Abstract is missing.