SAT

Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations

The recent progress in the physical realization of quantum computers (the first publicly available ones—IBM’s QX architectures—have been launched in 2017) has motivated research on automatic methods that aid users in running quantum circuits on …