TY  - RPRT
TI  - Depth-Optimal Quantum Layout Synthesis as SAT
AU  - Anna B. Jakobsen
AU  - Anders B. Clausen
AU  - Jaco van de Pol
AU  - Irfansha Shaik
PY  - 2025
UR  - https://arxiv.org/abs/2506.06752
ID  - 2506.06752
ER  -