TY  - RPRT
TI  - SAT-Based Quantum Circuit Adaptation
AU  - Sebastian Brandhofer
AU  - Jinwoong Kim
AU  - Siyuan Niu
AU  - Nicholas T. Bronn
PY  - 2023
UR  - https://arxiv.org/abs/2301.11725
ID  - 2301.11725
ER  -