Author:
Hurwitz Liam,Datta Kamalika,Kole Abhoy,Drechsler Rolf
Publisher
Springer Nature Switzerland
Reference21 articles.
1. Backens, M., Kissinger, A.: ZH: a complete graphical calculus for quantum computations involving classical non-linearity. Electron. Proc. Theor. Comput. Sci. 287, 23–42 (2019)
2. Burgholzer, L., Ploier, A., Wille, R.: Tensor networks or decision diagrams? guidelines for classical quantum circuit simulation. arXiv preprint: arXiv:2302.06616 (2023)
3. Burgholzer, L., Wille, R.: Advanced equivalence checking for quantum circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(9), 1810–1824 (2020)
4. Burgholzer, L., Wille, R.: Handling non-unitaries in quantum circuit equivalence checking. In: Design Automation Conference, pp. 529–534. ACM, San Francisco California (2022)
5. Coecke, B., Duncan, R.: Interacting quantum observables. In: Aceto, L., Damgård, I., Goldberg, L.A., Halld órsson, M.M., Ingólfsdóttir, A., Walukiewicz, I. (eds.) Automata, Languages and Programming, pp. 298–310. Springer Berlin Heidelberg, Berlin, Heidelberg (2008)