Sarah Schneider, Lukas Burgholzer, Robert Wille. A SAT Encoding for Optimal Clifford Circuit Synthesis. In Atsushi Takahashi 0001, editor, Proceedings of the 28th Asia and South Pacific Design Automation Conference, ASPDAC 2023, Tokyo, Japan, January 16-19, 2023. pages 190-195, ACM, 2023. [doi]
Abstract is missing.