Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers.

Daniel Schnberger, Stefan Hillmich, Matthias Brandl, Robert Wille

Browse the full ASPDAC paper archive.