TY  - RPRT
TI  - Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond
AU  - Lucas Berent
AU  - Lukas Burgholzer
AU  - Robert Wille
PY  - 2022
DO  - 10.4230/lipics.sat.2022.18
UR  - https://arxiv.org/abs/2203.00698
ID  - 2203.00698
ER  -