1. Originqc. https://www.originqc.com.cn/. Originqc. https://www.originqc.com.cn/.
2. Ibm q. https://www.research.ibm.com/ibm-q/, cited in Jan. 2019 . Ibm q. https://www.research.ibm.com/ibm-q/, cited in Jan. 2019.
3. Exact Template Matching Using Boolean Satisfiability
4. Ali Javadi Abhari , Shruti Patil , Daniel Kudrow , Jeff Heckey , Alexey Lvov , Frederic T. Chong , and Margaret Martonosi . ScaffCC : A framework for compilation and analysis of quantum computing programs . In 11th CF , pages 1: 1 -- 1 :10, New York, NY, USA , 2014 . ACM. Ali Javadi Abhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T. Chong, and Margaret Martonosi. ScaffCC: A framework for compilation and analysis of quantum computing programs. In 11th CF, pages 1:1--1:10, New York, NY, USA, 2014. ACM.
5. JavadiAbhari Ali , Nation Paul , and Gambetta Jay . Qiskit - write once, target multiple architectures. IBM Research Blog, https://www.ibm.com/blogs/research/2019/11/qiskit-for-multiple-architectures/ , November 2019 . JavadiAbhari Ali, Nation Paul, and Gambetta Jay. Qiskit - write once, target multiple architectures. IBM Research Blog, https://www.ibm.com/blogs/research/2019/11/qiskit-for-multiple-architectures/, November 2019.