Constraint programming models for depth-optimal qubit assignment and SWAP-based routing

Kyle E. C. Booth

Due to the limited connectivity of gate model quantum devices, logical quantum circuits must be compiled to target hardware before they can be executed. Often, this process involve…