Graph-Aware Exact Branch-and-Bound with Device Profiles for Static Qubit Allocation

Kamer Kaya

Static qubit allocation maps a circuit's logical qubits to a sparse physical device while minimising an interaction-weighted physical-distance cost function, yielding a rectangular…