%0 Conference Paper %1 conf/aspdac/BurgholzerW20 %A Burgholzer, Lukas %A Wille, Robert %B ASP-DAC %D 2020 %I IEEE %K dblp %P 127-132 %T Improved DD-based Equivalence Checking of Quantum Circuits. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2020.html#BurgholzerW20 %@ 978-1-7281-4123-7

@inproceedings{conf/aspdac/BurgholzerW20, added-at = {2020-03-30T00:00:00.000+0200}, author = {Burgholzer, Lukas and Wille, Robert}, biburl = {https://www.bibsonomy.org/bibtex/24dc61d860023ba6d497520f5e3e406ab/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2020}, ee = {https://doi.org/10.1109/ASP-DAC47756.2020.9045153}, interhash = {246566acfa4849a77062efb2f4c79206}, intrahash = {4dc61d860023ba6d497520f5e3e406ab}, isbn = {978-1-7281-4123-7}, keywords = {dblp}, pages = {127-132}, publisher = {IEEE}, timestamp = {2020-03-31T11:41:03.000+0200}, title = {Improved DD-based Equivalence Checking of Quantum Circuits.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2020.html#BurgholzerW20}, year = 2020 }