Improved DD-based Equivalence Checking of Quantum Circuits


Date
15 Jan 20
Location
China National Convention Center
Beijing
Lukas Burgholzer
Lukas Burgholzer
PhD Student

My research interests include design automation for quantum computing, decision diagrams, and in particular equiavalence checking of quantum circuits

Related