Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer. Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. In Brian La Cour, Lia Yeh, Marek Osinski, editors, IEEE International Conference on Quantum Computing and Engineering, QCE 2023, Bellevue, WA, USA, September 17-22, 2023. pages 802-813, IEEE, 2023. [doi]
@inproceedings{PehamBKWB23,
title = {Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers},
author = {Tom Peham and Nina Brandl and Richard Kueng and Robert Wille and Lukas Burgholzer},
year = {2023},
doi = {10.1109/QCE57702.2023.00095},
url = {https://doi.org/10.1109/QCE57702.2023.00095},
researchr = {https://researchr.org/publication/PehamBKWB23},
cites = {0},
citedby = {0},
pages = {802-813},
booktitle = {IEEE International Conference on Quantum Computing and Engineering, QCE 2023, Bellevue, WA, USA, September 17-22, 2023},
editor = {Brian La Cour and Lia Yeh and Marek Osinski},
publisher = {IEEE},
isbn = {979-8-3503-4323-6},
}