Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers

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]

Authors

Tom Peham

This author has not been identified. Look up 'Tom Peham' in Google

Nina Brandl

This author has not been identified. Look up 'Nina Brandl' in Google

Richard Kueng

This author has not been identified. Look up 'Richard Kueng' in Google

Robert Wille

This author has not been identified. Look up 'Robert Wille' in Google

Lukas Burgholzer

This author has not been identified. Look up 'Lukas Burgholzer' in Google