TY  - RPRT
TI  - CNOT-Optimal Clifford Synthesis as SAT
AU  - Irfansha Shaik
AU  - Jaco van de Pol
PY  - 2025
UR  - https://arxiv.org/abs/2504.00634
ID  - 2504.00634
ER  -