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

Overview

CU Boulder Authors

Velasquez, Alvaro

publication date

May 22, 2021

has restriction

closed

Date in CU Experts

January 19, 2024 5:59 AM

Full Author List

Velasquez A; Jha SK; Ewetz R; Jha S

author count

4

citation count

0

published in

IEEE International Symposium on Circuits and Systems proceedings. IEEE International Symposium on Circuits and Systems Journal

presented at event

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

Other Profiles

International Standard Serial Number (ISSN)

0271-4302

Digital Object Identifier (DOI)

https://doi.org/10.1109/iscas51556.2021.9401587