Qubit Mapping and Routing via MaxSAT

Understand

Near-term quantum computers will operate in a noisy environment, without error correction.

• A critical problem for near-term quantum computing is laying out a logical circuit onto a physical device with limited connectivity between qubits.
• This is known as the qubit mapping and routing (QMR) problem, an intractable combinatorial problem.
• It is important to solve QMR as optimally as possible to reduce the amount of added noise, which may render a quantum computation useless.