Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers | IEEE Conference Publication | IEEE Xplore