TY  - RPRT
TI  - Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers
AU  - Daniel Schoenberger
AU  - Stefan Hillmich
AU  - Matthias Brandl
AU  - Robert Wille
PY  - 2023
UR  - https://arxiv.org/abs/2311.03454
ID  - 2311.03454
ER  -