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 . 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

keywords

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

Location

  • SOUTH KOREA, Daegu

Digital Object Identifier (DOI)

Conference

  • IEEE International Symposium on Circuits and Systems (IEEE ISCAS)

publisher

  • IEEE