Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers
Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers
Trapped ions are a promising technology for building scalable quantum computers. Not only can they provide a high qubit quality, but they also enable modular architectures, referred to as Quantum Charge Coupled Device (QCCD) architecture. Within these devices, ions can be shuttled (moved) throughout the trap and through different dedicated …