Automated Synthesis of Quantum Circuits using Symbolic Abstractions and Decision Procedures Conference

Velasquez, Alvaro, Jha, Sumit Kumar, Ewetz, Rickard et al. (2021). Automated Synthesis of Quantum Circuits using Symbolic Abstractions and Decision Procedures . Proceedings - IEEE International Symposium on Circuits and Systems, 10.1109/ISCAS51556.2021.9401587

cited authors

  • Velasquez, Alvaro; Jha, Sumit Kumar; Ewetz, Rickard; Jha, Susmit

authors

date/time interval

  • May 22, 2021 -

publication date

  • January 1, 2021

published in

keywords

  • Engineering
  • Engineering, Electrical & Electronic
  • Science & Technology
  • Technology

Digital Object Identifier (DOI)