TY  - RPRT
TI  - Bounds for Quantum Circuits using Logic-Based Analysis
AU  - Benedikt Fauseweh
AU  - Ben Hermann
AU  - Falk Howar
PY  - 2024
UR  - https://arxiv.org/abs/2411.19177
ID  - 2411.19177
ER  -